A Syntactic Approach to Modularity in Denotational Semantics (1993)

by Pietro Cenciarelli , Eugenio Moggi
Venue:IN PROCEEDINGS OF THE CONFERENCE ON CATEGORY THEORY AND COMPUTER SCIENCE
Citations:27 - 5 self

Documents Related by Co-Citation

813 Notions of Computation and Monads – Eugenio Moggi - 1991
480 Computational Lambda-Calculus and Monads – Eugenio Moggi - 1988
1436 Monads for functional programming – Philip Wadler - 1995
505 Comprehending Monads – Philip Wadler - 1992
647 Software Transactional Memory – Nir Shavit, Dan Touitou - 1995
1683 The Definition of Standard ML – Robin Milner, Mads Tofte - 1990
629 From System F to Typed Assembly Language – Greg Morrisett, David Walker, Karl Crary, Neal Glew - 1998
670 Compiling with continuations – A W Appel - 1992
604 A Syntactic Approach to Type Soundness – Andrew K. Wright, Matthias Felleisen - 1992