Kripke-Style Models for Typed Lambda Calculus (1996)

Cached

Download Links

by John C. Mitchell , Eugenio Moggi
Venue:Annals of Pure and Applied Logic
Citations:48 - 3 self

Active Bibliography

109 On The Type Structure of Standard ML – Robert Harper, John C. Mitchell - 1993
813 Notions of Computation and Monads – Eugenio Moggi - 1991
1436 Monads for functional programming – Philip Wadler - 1995
755 A Framework for Defining Logics – Robert Harper , Furio Honsell, Gordon Plotkin - 1993
781 The Esterel Synchronous Programming Language: Design, Semantics, Implementation – Gerard Berry, Georges Gonthier - 1992
811 Inductive-Data-Type Systems – Frederic Blanqui, Jean-Pierre Jouannaud, Mitsuhiro Okada - 2002
771 Language-Based Information-Flow Security – Andrei Sabelfeld , Andrew C. Myers - 2003
604 A Syntactic Approach to Type Soundness – Andrew K. Wright, Matthias Felleisen - 1992
480 Computational Lambda-Calculus and Monads – Eugenio Moggi - 1988