Documents Related by Co-Citation

939 A theory of type polymorphism in programming – Robin Milner - 1978
488 A semantics of multiple inheritance – Luca Cardelli - 1988
1565 The Definition of Standard ML – Robin Milner, Mads Tofte - 1990
292 Abstract types have existential types – J C Mitchell, G D Plotkin - 1988
308 Subtyping recursive types – Roberto M. Amadio, Luca Cardelli - 1993
1266 Smalltalk-80: the language and its implementation – A Goldberg, D Robson - 1983
114 Type Inference for Record Concatenation and Multiple Inheritance – Mitchell Wand - 1989
70 Three approaches to type structure – John Reynolds - 1985
87 A modest model of records, inheritance, and bounded quantification – Kim B Bruce, Giuseppe Longo
136 Complete type inference for simple objects – Mitchell Wand - 1988
157 SIMULA — an Algol-based Simulation Language – http helios cti gralcom-itdsp O Dahl, K Nygaard - 1966
288 Interpretation Fonctionelle et Elimination des Coupures dans l'Arithmetique d'Ordre Superieure – J -Y Girard - 1972
148 Programming Modula-2 – N Wirth - 1988
58 Structural Subtyping and the Notion of Power Type – Luca Cardelli - 1988
126 An ideal model for recursive polymorphic types – David MacQueen, Gordon Plotkin, Ravi Sethi - 1986
102 Bounded Quantification is Undecidable – Benjamin C. Pierce - 1993
61 Coherence of subsumption, minimum typing and the type checking – P L Curien, G Ghelli - 1992
1492 The C++ Programming Language – Bjarne Stroustrup - 1995
198 Reflections on Standard ML – David B. MacQueen - 1992