Type-safe Computation with Heterogeneous Data (2007)

Cached

Download Links

by Freeman Yufei Huang
Citations:2 - 2 self

Documents Related by Co-Citation

8 Programming with heterogeneous structures: Manipulating xml data using bondi – F. Y. Huang, C. B. Jay, D. B. Skillicorn, F. Y. Huang, C. B. Jay, D. B. Skillicorn - 2006
30 Generic Haskell: applications – Ralf Hinze, Johan Jeuring - 2003
33 C# language specification – A Hejlsberg, M Torgersen, S Wiltamuth, P Golde - 2010
19 Typing first-class patterns – Barry Jay - 2006
16 Scrap your boilerplate with XPath-like combinators – R Lämmel - 2006
99 The Java Language Specification. Addison-Wesley, 2nd edition – J Gosling, B Joy, G Steele, G Bracha - 2000
135 Type Inference with Polymorphic Recursion – Fritz Henglein - 1991
82 The Essence of the Visitor Pattern – Jens Palsberg, C. Barry Jay - 1997
66 A Typed Pattern Calculus – Delia Kesner, Laurence Puel, Val Tannen - 1996
96 A New Approach to Generic Functional Programming – Ralf Hinze - 1999
1565 The Definition of Standard ML – Robin Milner, Mads Tofte - 1990
115 Program Transformation with Stratego/XT – E Visser
939 A theory of type polymorphism in programming – Robin Milner - 1978
137 Scrap Your Boilerplate: A Practical Design Pattern for Generic Programming – Ralf Lämmel, Simon Peyton Jones - 2003
1 Interpreting the untyped pattern calculus – Thomas Given-Wilson - 2007
1 Multi-polymorphic programming – Thomas Given-Wilson, Freeman Huang, Barry Jay - 2008
2 Interpreting the untyped pattern calculus in bondi, Honours Thesis – Thomas Given-Wilson - 2007