Soft Typing (1991)

Cached

Download Links

by Robert Cartwright , Mike Fagan
Citations:192 - 2 self

Documents Related by Co-Citation

940 A theory of type polymorphism in programming – Robin Milner - 1978
52 Quasi-static typing – S Thatte - 1990
1566 The Definition of Standard ML – Robin Milner, Mads Tofte - 1990
187 Soft typing with conditional types – Er Aiken - 1994
154 Dynamic typing in a statically typed language – M. Abadi, L. Cardelli, B. Pierce, G. Plotkin, Matthias Berg, Advisor Andreas Rossberg - 1991
359 Principal type-schemes for functional programs – Luis Damas, Robin Milner - 1982
143 The principal type-scheme of an object in combinatory logic – J R Hindley - 1969
50 Global Tagging Optimization by Type Inference – Fritz Henglein
172 Refinement types for ML – Tim Freeman - 1994
76 P.: Type inference with subtypes – Y C Fuh, Mishra
126 An ideal model for recursive polymorphic types – David MacQueen, Gordon Plotkin, Ravi Sethi - 1986
71 Three approaches to type structure – J C Reynolds - 1985
759 On understanding types, data abstraction, and polymorphism – Luca Cardelli, Peter Wegner - 1985
9 A Practical Approach to Type Inference for EuLisp – Andreas Kind, Horst Friedrich - 1993
259 Compiling polymorphism using intensional type analysis – Robert Harper, Greg Morrisett - 1995
170 Unboxed Objects and Polymorphic Typing – Xavier Leroy - 1992
108 A Practical Soft Type System for Scheme – Andrew K. Wright, Robert Cartwright - 1993
364 Towards a theory of type structure – J C Reynolds - 1974
58 Declaration-free type checking – P Mishra, U Reddy - 1985