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

135 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
72 The essence of ML – MH88 J C Mitchell, R Harper - 1988
292 Abstract types have existential types – J C Mitchell, G D Plotkin - 1988
326 Theorems for free! – Philip Wadler - 1989
264 Constructive mathematics and computer programming – P Martin-Lof - 1982
365 Types, abstraction and parametric polymorphism – J C Reynolds - 1983
939 A theory of type polymorphism in programming – Robin Milner - 1978
1565 The Definition of Standard ML – Robin Milner, Mads Tofte - 1990
756 On understanding types, data abstraction, and polymorphism – Luca Cardelli, Peter Wegner - 1985
141 Introduction to Higher-Order Categorical Logic – J Lambek, P Scott - 1986
42 Categorical Type Theory – B Jacobs - 1991
473 The Calculus of Constructions – T Coquand, G Huet - 1988
88 Categorical Logic – Andrew M. Pitts - 1995
696 A Framework for Defining Logics – Robert Harper , Furio Honsell, Gordon Plotkin - 1993
342 Intuitionistic Type Theory – Per Martin-Löf - 1984
13 Extending Record typing to type parametric modules with sharing – Maria Virginia Aponte - 1993
10 First-class polymorphism for ML – Stefan Kahrs - 1993
30 Principal Signatures for Higher-order Program Modules – Mads Tofte, Mds Torre - 1993