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:327 - 2 self

Active Bibliography

798 On understanding types, data abstraction, and polymorphism – Luca Cardelli, Peter Wegner - 1985
346 The Integration of Functions into Logic Programming: From Theory to Practice – Michael Hanus - 1994
267 Compiling polymorphism using intensional type analysis – Robert Harper, Greg Morrisett - 1995
41 Compiler Verification in LF – John Hannan, Frank Pfenning - 1992
182 Refinement types for ML – Tim Freeman - 1994
28 Type inference and semi-unification – Friedrich Henglein, Friedrich Henglein - 1988
177 Unboxed Objects and Polymorphic Typing – Xavier Leroy - 1992
141 Type Inference with Polymorphic Recursion – Fritz Henglein - 1991
20 Polymorphic Type Inference for Languages with Overloading and Subtyping – Seward Smith, Geoffrey Seward Smith, Ph. D - 1991