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

733 Notions of Computation and Monads – Eugenio Moggi - 1991
233 Monad Transformers and Modular Interpreters – Sheng Liang, Paul Hudak, Mark Jones - 1995
56 Modular Denotational Semantics for Compiler Construction – Sheng Liang, Paul Hudak - 1996
165 An Abstract View of Programming Languages – E Moggi - 1989
458 Comprehending Monads – Philip Wadler - 1992
1309 Monads for functional programming – Philip Wadler - 1995
146 Component-Based Semantics – P D Mosses - 2009
440 Computational Lambda-Calculus and Monads – Eugenio Moggi - 1988
52 Monads and Effects – Nick Benton, John Hughes, Eugenio Moggi - 2000
539 A Syntactic Approach to Type Soundness – Andrew K. Wright, Matthias Felleisen - 1992
35 Action Semantics. Number 26 – P D Mosses - 1992
639 Partial Evaluation and Automatic Program Generation. Available online: http://www.itu.dk/people/sestoft/pebook – Neil D Jones, Carsten K Gomard, Peter Sestoft - 1993
4 An implementation of modular monadic semantics using folds and monadic folds – J E Labra - 1998
4 Language prototyping using modular monadic semantics – J E Labra, J M Cueva, C Luengo - 1999
4 Modular development of interpreters from semantic building blocks – J E Labra, J M Cueva, M C Luengo - 2000
2 A language prototyping tool based on semantic building blocks – J E Labra, J M Cueva Lovelle, M C Luengo Díez, B M González - 2001
2 LPS: A language prototyping system using modular monadic semantics – J E Labra, M C Luengo, J M Cueva, A Cernuda - 2001
3 Modular Development of Language Processors from Reusable Semantic Specifications – Jose E Labra - 2001
7 Writing modular interpreters using catamorphisms, subtypes and monad transformers – Luc Duponcheel - 1995