A Practical Subtyping System For Erlang (1997)

Cached

Download Links

by Simon Marlow , Philip Wadler
Venue:In Proceedings of the International Conference on Functional Programming (ICFP '97
Citations:47 - 0 self

Active Bibliography

61 Subtyping Constrained Types – Valery Trifonov, Scott Smith - 1996
25 Type inference and semi-unification – Friedrich Henglein, Friedrich Henglein - 1988
187 Soft typing with conditional types – Er Aiken - 1994
10 Practical Soft Typing – Andrew K. Wright - 1994
108 A Practical Soft Type System for Scheme – Andrew K. Wright, Robert Cartwright - 1993
214 Type Inclusion Constraints and Type Inference – Alexander Aiken, Edward L. Wimmers - 1993
5 Inferring Recursive Data Types – David Mcallester
15 The Complexity of Simple Subtyping Systems – Jakob Rehof - 1998
46 Type inference with constrained types – Martin Odersky, Martin Sulzmann, Martin Wehr - 1997
34 Practical Refinement-Type Checking – Rowan Davies, Frank Pfenning - 1997
15 Minimal Typings in Atomic Subtyping – Jakob Rehof - 1996
by – Jason Smith
6 Dynamic Typing and Subtype Inference – Alexander Aiken, Manuel Fähndrich - 1995
12 Pragmatic Subtyping in Polymorphic Languages – Johan Nordlander - 1997
4 Polymorphic Subtyping in O'Haskell – Johan Nordlander - 2001
83 Type Inference for Recursively Constrained Types and its Application to OOP – Jonathan Eifrig, Scott Smith, Valery Trifonov - 1995
13 Analysis of Recursive Types in an Imperative Language – Edward Yan-bing Wang, Edward Yan-bing Wang, Edward Yan-bing Wang - 1994
30 Program Analysis Using Mixed Term and Set Constraints – Manuel Fähndrich, Alexander Aiken - 1997
67 Programming with Intersection Types and Bounded Polymorphism – Benjamin C. Pierce - 1991