Modular Denotational Semantics for Compiler Construction (1996)

Cached

Download Links

by Sheng Liang , Paul Hudak
Venue:In European Symposium on Programming
Citations:61 - 4 self

Documents Related by Co-Citation

1318 Monads for functional programming – Philip Wadler - 1995
236 Monad Transformers and Modular Interpreters – Sheng Liang, Paul Hudak, Mark Jones - 1995
459 Comprehending Monads – Philip Wadler - 1992
734 Notions of Computation and Monads – Eugenio Moggi - 1991
445 Computational Lambda-Calculus and Monads – Eugenio Moggi - 1988
645 Partial Evaluation and Automatic Program Generation – N D Jones, C K Gomard, P Sestoft - 1993
548 A Syntactic Approach to Type Soundness – Andrew K. Wright, Matthias Felleisen - 1992
611 The Definition of Standard ML (Revised – Robin Milner, Mads Tofte, Robert Harper, David MacQueen - 1997
3242 Communication and Concurrency – R Milner - 1989