Metalanguages and Applications (1995)

Cached

Download Links

by Eugenio Moggi
Venue:Semantics and Logics of Computation, Publications of the Newton Institute
Citations:12 - 3 self

Documents Related by Co-Citation

734 Notions of Computation and Monads – Eugenio Moggi - 1991
1318 Monads for functional programming – Philip Wadler - 1995
459 Comprehending Monads – Philip Wadler - 1992
445 Computational Lambda-Calculus and Monads – Eugenio Moggi - 1988
236 Monad Transformers and Modular Interpreters – Sheng Liang, Paul Hudak, Mark Jones - 1995
548 A Syntactic Approach to Type Soundness – Andrew K. Wright, Matthias Felleisen - 1992
645 Partial Evaluation and Automatic Program Generation – N D Jones, C K Gomard, P Sestoft - 1993
520 Lambda Calculi with Types – Henk Barendregt, S. Abramsky, D. M. Gabbay, T. S. E. Maibaum, H. P. Barendregt - 1992
1581 The Definition of Standard ML – Robin Milner, Mads Tofte - 1990