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

104 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
215 Type Inclusion Constraints and Type Inference – Alexander Aiken, Edward L. Wimmers - 1993
32 P.: Polymorphic subtype inference: Closing the theory-practice gap – Y C Fuh, Mishra - 1989
59 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
935 A theory of type polymorphism in programming – Robin Milner - 1978
1559 The Definition of Standard ML – Robin Milner, Mads Tofte - 1990
87 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 P.: Type inference with subtypes – Y C Fuh, Mishra
41 A Second Look at Overloading – Martin Odersky, Philip Wadler, Martin Wehr - 1995
304 Subtyping recursive types – Roberto M. Amadio, Luca Cardelli - 1993
30 Lower bounds on type inference with subtypes – M Hoang, J Mitchell - 1995
14 Minimal Typings in Atomic Subtyping – Jakob Rehof - 1996