Principal Type Schemes for Functional Programs with Overloading and Subtyping (1994)

by Geoffrey S. Smith
Venue:Science of Computer Programming
Citations:44 - 1 self

Documents Related by Co-Citation

107 Sound Polymorphic Type Inference for Objects – Jonathan Eifrig, Scott Smith, Valery Trifonov - 1995
67 Simplifying Subtyping Constraints – Francois Pottier - 1996
56 Type inference in the presence of overloading, subtyping, and recursive types – S Kaes - 1992
214 Type Inclusion Constraints and Type Inference – Alexander Aiken, Edward L. Wimmers - 1993
33 Polymorphic subtype inference: Closing the theory-practice gap – Y-C Fuh, P Mishra - 1989
61 Subtyping Constrained Types – Valery Trifonov, Scott Smith - 1996
16 Making Set-Constraint Program Analyses Scale – Manuel Fähndrich, Alexander Aiken - 1996
96 Type inference with simple subtypes – J C Mitchell - 1991
187 Soft typing with conditional types – Er Aiken - 1994
23 Constrained quantification in polymorphic type analysis – Pavel Curtis - 1990
939 A theory of type polymorphism in programming – Robin Milner - 1978
1565 The Definition of Standard ML – Robin Milner, Mads Tofte - 1990
88 A Type System Equivalent to Flow Analysis – Jens Palsberg, Patrick O'Keefe - 1995
18 Optimal Representations of Polymorphic Types with Subtyping (Extended Abstract) – Alexander Aiken, Edward L. Wimmers, Jens Palsberg - 1997
76 Type inference with subtypes – Y Fuh, P Mishra - 1988
41 A Second Look at Overloading – Martin Odersky, Philip Wadler, Martin Wehr - 1995
308 Subtyping recursive types – Roberto M. Amadio, Luca Cardelli - 1993
30 Lower bounds on type inference with subtypes – M Hoang, J C Mitchell - 1995
15 Minimal Typings in Atomic Subtyping – Jakob Rehof - 1996