Mixin Modules (1996)

Cached

Download Links

by Dominic Duggan , Constantinos Sourelis
Citations:60 - 2 self

Active Bibliography

23 Dynamic Typing for Distributed Programming in Polymorphic Languages – Dominic Duggan - 1996
108 A Practical Soft Type System for Scheme – Andrew K. Wright, Robert Cartwright - 1993
34 The Recursive Record Semantics of Objects Revisited – Gérard Boudol, Projets Mimosa - 2001
9 On the Integration of Functional Programming, Class-Based Object-Oriented Programming, and Multi-Methods – Francois Bourdoncle, Stephan Merz - 1996
51 Type Checking Higher-Order Polymorphic Multi-Methods – Francois Bourdoncle , Stephan Merz - 1997
20 Semi-Explicit First-Class Polymorphism for ML – Jacques Garrigue, Didier Rémy - 1999
55 Objective ML: An effective object-oriented extension to ML – Didier Rémy, Jérôme Vouillon - 1998
102 Compiling with Types – Greg Morrisett - 1995
18 A simple typed intermediate language for object-oriented languages – Juan Chen - 2005
30 A General Framework for Hindley/Milner Type Systems with Constraints – Martin Sulzmann - 2000
2 A Simple Interpretation of OOP in a Language with State – Jonathan Eifrig, Scott Smith, Valery Trifonov, Amy Zwarico - 1993
9 A Core Calculus of Classes and Objects – Viviana Bono, Amit Patel, Vitaly Shmatikov, John Mitchell - 1999
53 A Core Calculus of Classes and Mixins – Viviana Bono , Amit Patel, Vitaly Shmatikov - 1999
18 Extending ML with Semi-Explicit Higher-Order Polymorphism – Jacques Garrigue, Didier Remy - 1997
2 Should ML be object-oriented? – David MacQueen
88 A Metalanguage for Programming with Bound Names Modulo Renaming – Andrew M. Pitts, Murdoch J. Gabbay - 2000
Incremental Type Inference for Software Engineering – Jonathan Aldrich University
53 Explaining Type Inference – Dominic Duggan, Frederick Bent - 1995
1 Functional Encapsulation and Type Reconstruction in a Strongly-typed, Polymorphic Language – Shail Aditya Gupta, Frederic R. Morgenthaler - 1995