Natural semantics (1987)

Cached

Download Links

by G. Kahn
Venue:In Proc. 4th Annual Symp. Theoretical Aspects of Computer Science, number 247 in Lect. Notes in Comp. Sci
Citations:300 - 2 self

Active Bibliography

25 Type inference and semi-unification – Friedrich Henglein, Friedrich Henglein - 1988
41 Compiler Verification in LF – John Hannan, Frank Pfenning - 1992
Delphine Terrasse Memoire du DEA IARFA – Septemb Re, Delphine Terrasse - 1992
20 Polymorphic Type Inference for Languages with Overloading and Subtyping – Seward Smith, Geoffrey Seward Smith, Ph. D - 1991
12 Unboxed Values and Polymorphic Typing Revisited – Peter J. Thiemann - 1995
Tribute to a Great Meta-Technologist —from Centaur to The Meta-Environment— – Paul Klint - 2008
9 A Certified Compiler for an Imperative Language – Yves Bertot - 1998
1 On Observational Equivalence and Compiler Correctness – Fabio Q. B. Da Silva - 1994
26 A Provably Correct Compiler Generator – Jens Palsberg - 1992
1 A Parallel Categorical Abstract Machine for Bulk Synchronous Parallel ML – Frédéric Gava, Frédéric Loulergue, Frédéric Dabrowski
135 Type Inference with Polymorphic Recursion – Fritz Henglein - 1991
10 Formal Verification of Algorithm W: The Monomorphic Case – Dieter Nazareth, Tobias Nipkow - 1996
172 Refinement types for ML – Tim Freeman - 1994
2 A verified framework for higher-order uncurrying optimizations – Z. Dargaye, et al.
92 A Standard ML Compiler – Andrew W. Appel, David B. Macqueen - 1987
102 Compiling with Types – Greg Morrisett - 1995
25 Caml Flight: a Portable SPMD Extension of ML for Distributed Memory Multiprocessors – Christian Foisy, Emmanuel Chailloux - 1995
1 Abstract Interpretation and Attribute Grammars – Mads Rosendahl, Clare Hall - 1992
36 Safety Analysis versus Type Inference – Jens Palsberg , Michael I. Schwartzbach - 1995