Documents Related by Co-Citation

730 Notions of Computation and Monads – Eugenio Moggi - 1991
436 Computational Lambda-Calculus and Monads – Eugenio Moggi - 1988
55 Locally cartesian closed categories and type theory – R A G Seely - 1984
423 Introduction to Higher Order Categorical Logic – J Lambek, P Scott - 1986
58 Generalised algebraic theories and contextual categories. Annals of Pure and Applied Logic 32 – J Cartmell - 1986
38 Fibred categories and the foundations of naive category theory – J Bénabou - 1985
17 Substitution up to isomorphism – P-L Curien - 1993
1559 The Definition of Standard ML – Robin Milner, Mads Tofte - 1990
163 An abstract view of programming languages – E Moggi - 1989
35 Semantics of Local Variables – P.W. O'Hearn, R. D. Tennent - 1992
99 Toward fully abstract semantics for local variables – Albert R Meyer, Kurt Sieber - 1988
238 The Lazy Lambda Calculus – Samson Abramsky - 1990
455 Comprehending Monads – Philip Wadler - 1992
42 Categorical Type Theory – B Jacobs - 1991
233 Monad Transformers and Modular Interpreters – Sheng Liang, Paul Hudak, Mark Jones - 1995
264 Constructive mathematics and computer programming – P Martin-Löf - 1979
38 On the Interpretation of Type Theory in Locally Cartesian Closed Categories – Martin Hofmann - 1994
112 Equivalence in Functional Languages with Effects – Ian Mason, Carolyn Talcott - 1991
41 The theory of constructions: categorical semantics and topos-theoretic models – J M E Hyland, A M Pitts