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:53 - 0 self

Active Bibliography

Abstract A Practical Subtyping System For Erlang – Simon Marlow, Philip Wadler
62 Subtyping Constrained Types – Valery Trifonov, Scott Smith - 1996
548 A Syntactic Approach to Type Soundness – Andrew K. Wright, Matthias Felleisen - 1992
187 Soft typing with conditional types – Er Aiken - 1994
406 Deforestation: transforming programs to eliminate trees – P Wadler - 1988
767 On understanding types, data abstraction, and polymorphism – Luca Cardelli, Peter Wegner - 1985
218 Type Inclusion Constraints and Type Inference – Alexander Aiken, Edward L. Wimmers - 1993
485 A semantics of multiple inheritance – Luca Cardelli - 1988
110 A Practical Soft Type System for Scheme – Andrew K. Wright, Robert Cartwright - 1993