Soft Typing (1991)

Cached

Download Links

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

Documents Related by Co-Citation

939 A theory of type polymorphism in programming – Robin Milner - 1978
52 Quasi-static typing – S Thatte - 1990
1565 The Definition of Standard ML – Robin Milner, Mads Tofte - 1990
187 Soft typing with conditional types – Er Aiken - 1994
156 Dynamic typing in a statically typed language – M. Abadi, L. Cardelli, B. Pierce, G. Plotkin, Matthias Berg, Advisor Andreas Rossberg - 1991
357 Principal type-schemes for functional programs. Pages 207–212 of – Luis Damas, Robin Milner - 1982
141 The principal type-scheme of an object in combinatory logic – R Hindley - 1969
51 Global Tagging Optimization by Type Inference – Fritz Henglein - 1992
172 Refinement types for ML – Tim Freeman - 1994
76 Type inference with subtypes – Y Fuh, P Mishra - 1988
70 Three approaches to type structure – John Reynolds - 1985
126 An ideal model for recursive polymorphic types – David MacQueen, Gordon Plotkin, Ravi Sethi - 1986
756 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
260 Compiling polymorphism using intensional type analysis – Robert Harper, Greg Morrisett - 1995
171 Unboxed Objects and Polymorphic Typing – Xavier Leroy - 1992
108 A Practical Soft Type System for Scheme – Andrew K. Wright, Robert Cartwright - 1993
363 Towards a theory of type structure – J C Reynolds - 1974
60 Declaration-free type checking – P Mishra, U Reddy - 1985