Two-level types and parameterized modules (2003)

Cached

Download Links

by Tim Sheard , Emir Pasalic
Venue:Journal of Functional Programming
Citations:8 - 0 self

Documents Related by Co-Citation

233 Monad Transformers and Modular Interpreters – Sheng Liang, Paul Hudak, Mark Jones - 1995
120 Modular Domain Specific Languages and Tools – Paul Hudak - 1998
41 Scrap your boilerplate” reloaded – Ralf Hinze, Andres Löh, Bruno C. D. S. Oliveira - 2006
135 Scrap Your Boilerplate: A Practical Design Pattern for Generic Programming – Ralf Lämmel, Simon Peyton Jones - 2003
53 The essence of functional programming (invited talk – Philip Wadler - 1992
69 Functional Programming with Overloading and Higher-Order Polymorphism – Mark P. Jones - 1995
106 Applicative Functors and Fully Transparent Higher-Order Modules – Xavier Leroy - 1995
44 Signatures for a Network Protocol Stack: A Systems Application of Standard ML – Edoardo Biagioni, Robert Harper, Peter Lee, Brian G. Milnes
91 Practical type inference for arbitrary-rank types – Dimitrios Vytiniotis, Stephanie Weirich, Simon Peyton-jones - 2005
7 Logic Programming, in: Handbook of Theoretical – K R Apt - 1990
11 A generalization of the trie data structure – R H Connelly, F L Morris - 1995
13 Polytypic Programming With Ease – Ralf Hinze - 1999
96 How to Declare an Imperative – Philip Wadler - 1995
31 Generalizing Generalized Tries – Ralf Hinze - 1999
332 The Integration of Functions into Logic Programming: From Theory to Practice – Michael Hanus - 1994
620 The Art of Prolog – L Sterling, E Shapiro - 1986
86 How to replace failure by a list of successes – P Wadler - 1985
8 The EXACT description of biomedical protocols – L N Soldatova, W Aubrey, R D King, A Clare
1 New eyes on visual habituation in locust: an experiment description language for integrative neuroscience. Poster T14-7C presented at Göttingen Meeting of the German Neuroscience Society – T A Nielsen, H Nilsson, T Matheson - 2009