A Category-Theoretic Account of Program Modules (1994)

Cached

Download Links

by Eugenio Moggi
Venue:Mathematical Structures in Computer Science
Citations:23 - 6 self

Documents Related by Co-Citation

134 Higher-Order Modules and the Phase Distinction – Robert Harper, John C. Mitchell, Eugenio Moggi - 1990
125 Using dependent types to express modular structure – David Macqueen, David Macqueen - 1986
42 Categorical Type Theory – B Jacobs - 1991
71 The essence of ML – MH88 J C Mitchell, R Harper - 1988
342 Intuitionistic type theory – P Martin-Löf - 1984
88 Categorical Logic – Andrew M. Pitts - 1995
440 Computational Lambda-Calculus and Monads – Eugenio Moggi - 1988
285 Interpre'tation fonctionelle et e'limination des coupures duns l'arithme'tique d'ordre supe'rieure – J-Y Girard - 1972
329 Theorems for free! – Philip Wadler - 1989
140 P.J.: Introduction to Higher-Order Categorical Logic – J Lambek, Scott - 1986
364 Types, abstraction and parametric polymorphism – J C Reynolds - 1983
31 hlitchell. The semantics of second-order lambda calculus – I B Bruce, A R hleyer, J C - 1988
471 The calculus of constructions – Thierry Coquand, Gérard P Huet - 1988
229 Une extension de l’interprétation de Gödel à l’analyse et son application à l’élimination de coupures dans l’analyse et la théorie des types – J Y Girard - 1971
364 Towards a theory of type structure – J C Reynolds - 1974
696 A Framework for Defining Logics – Robert Harper , Furio Honsell, Gordon Plotkin - 1993
292 Abstract types have existential types – J C Mitchell, G D Plotkin - 1985
936 A theory of type polymorphism in programming – Robin Milner - 1978
265 Constructive mathematics and computer programming – P Martin-Löf - 1982