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

Documents Related by Co-Citation

214 Type Inclusion Constraints and Type Inference – Alexander Aiken, Edward L. Wimmers - 1993
111 Componential set-based analysis – Cormac Flanagan, Matthias Felleisen - 1997
61 Subtyping Constrained Types – Valery Trifonov, Scott Smith - 1996
67 Simplifying Subtyping Constraints – Francois Pottier - 1996
96 Type inference with simple subtypes – J C Mitchell - 1991
939 A theory of type polymorphism in programming – Robin Milner - 1978
198 Control Flow Analysis in Scheme – Olin Shivers - 1988
18 Optimal Representations of Polymorphic Types with Subtyping (Extended Abstract) – Alexander Aiken, Edward L. Wimmers, Jens Palsberg - 1997
28 Making Set-Constraint Based Program Analyses Scale – M Fähndrich, A Aiken - 1996
76 Type inference with subtypes – Y Fuh, P Mishra - 1988
187 Soft typing with conditional types – Er Aiken - 1994
108 A Practical Soft Type System for Scheme – Andrew K. Wright, Robert Cartwright - 1993
192 Soft Typing – Robert Cartwright, Mike Fagan - 1991
69 Catching Bugs in the Web of Program Invariants – Cormac Flanagan, Matthew Flatt, Shriram Krishnamurthi, Stephanie Weirich, Matthias Felleisen - 1996
15 Minimal Typings in Atomic Subtyping – Jakob Rehof - 1996
1565 The Definition of Standard ML – Robin Milner, Mads Tofte - 1990
29 The Complexity of Subtype Entailment for Simple Types – Fritz Henglein, Jakob Rehof - 1997
527 Program Analysis and Specialization for the C Programming Language – Lars Ole Andersen - 1994
42 Set Based Analysis of ML Programs – N Heintze - 1994