A Category-Theoretic Account of Program Modules (1994)

Cached

Download Links

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

Active Bibliography

103 On The Type Structure of Standard ML – Robert Harper, John C. Mitchell - 1993
730 Notions of Computation and Monads – Eugenio Moggi - 1991
24 Type Checking with Universes – Robert Harper, Robert Pollack - 1991
58 An extension of Standard ML modules with Subtyping And Inheritance – John Mitchell, Sigurd Meldal, Neel Madhav
Type Theory for Programming Languages – Robert Harper - 1994
22 Type-Theoretic Methodology For Practical Programming Languages – Karl Fredrick Crary - 1998
11 First Order Linear Logic in Symmetric Monoidal Closed Categories – Simon John Ambler - 1991
88 Categorical Logic – Andrew M. Pitts - 1995
9 On the Role of Category Theory in the Area of Algebraic Specifications – H. Ehrig, M. Gro├če-Rhode, U. Wolter - 1996
Part II Local Realizability Toposes and a Modal Logic for – unknown authors
20 Developing Theories of Types and Computability via Realizability – Lars Birkedal - 2000
40 Syntax and Semantics of Dependent Types – Martin Hofmann - 1997
84 ECC, an Extended Calculus of Constructions – Zhaohui Luo - 1989
12 Programming Metalogics with a Fixpoint Type – Roy Louis Crole, C Fl Roy Louis Crole, Prof E. Moggi - 1992
22 Extended ML: Past, present and future – Donald Sannella , Andrzej Tarlecki - 1991
57 A Semantics for Higher-order Functors – David B. MacQueen, Mads Torre - 1994
14 From Hindley-Milner types to first-class structures – Mark P. Jones - 1995
67 Using Parameterized Signatures to Express Modular Structure – Mark P. Jones - 1996
268 A Type-Theoretic Approach to Higher-Order Modules with Sharing – Robert Harper, Mark Lillibridge - 1994