Type-safe Computation with Heterogeneous Data (2007)

Cached

Download Links

by Freeman Yufei Huang
Citations:2 - 2 self

Documents Related by Co-Citation

944 A theory of type polymorphism in programming – Robin Milner - 1978
1581 The Definition of Standard ML – Robin Milner, Mads Tofte - 1990
138 Scrap Your Boilerplate: A Practical Design Pattern for Generic Programming – Ralf Lämmel, Simon Peyton Jones - 2003
137 Type Inference with Polymorphic Recursion – Fritz Henglein - 1991
122 Program transformation with Stratego/XT: Rules, strategies, tools, and systems in StrategoXT-0.9 – Eelco Visser - 2004
100 The Java language specification. Addison-Wesley Llamas-Nistal – J Joy Gosling, B, G Steele - 1996
95 A New Approach to Generic Functional Programming – Ralf Hinze - 1999
81 The Essence of the Visitor Pattern – Jens Palsberg, C. Barry Jay - 1997
66 A Typed Pattern Calculus – Delia Kesner, Laurence Puel, Val Tannen - 1996
35 C# Language Specification – A Hejlsberg, S Wiltamuth, P Golde - 2003