Two-level types and parameterized modules (2003)

View PDF

Download Links

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

Documents Related by Co-Citation

248 Monad Transformers and Modular Interpreters – Sheng Liang, Paul Hudak, Mark Jones - 1995
644 The art of prolog – L Sterling, E Shapiro - 1986
766 Notions of Computation and Monads – Eugenio Moggi - 1991
1353 Monads for functional programming – Philip Wadler - 1995
5962 Design Patterns: Elements of Reusable ObjectOriented Software – E Gamma, R Helm, R Johnson, J Vlissides - 1995
798 On understanding types, data abstraction, and polymorphism – Luca Cardelli, Peter Wegner - 1985
424 Deforestation: Transforming programs to eliminate trees – P Wadler - 1990
381 Types, abstraction and parametric polymorphism – John C Reynolds - 1983
379 The design and implementation of hierarchical software systems with reusable components – Don Batory - 1992