Mixin modules, modules and extended value binding in a call-by-value setting

Mixin modules, modules and extended value binding in a call-by-value setting (2003)

Cached

Download Links

[pauillac.inria.fr]

by Tom Hirschowitz

Citations:

2 - 1 self

BibTeX

@MISC{Hirschowitz03mixinmodules,,
    author = {Tom Hirschowitz},
    title = {Mixin modules, modules and extended value binding in a call-by-value setting},
    year = {2003}
}

Bookmark

OpenURL

Abstract

Mixin modules, modules and extended value binding

Citations

1541	The Java Language Specification - Gosling, Joy, et al. - 1996
1497	The Definition of Standard ML - Milner, Tofte, et al. - 1990
1392	The C++ Programming Language - Stroustrup - 1995
830	A Theory of Objects - Abadi, Cardelli - 1996
727	On understanding types, data abstraction, and polymorphism - Cardelli, Wegner - 1985
595	Compiling with Continuations - Appel - 1992
573	The Definition of Standard ML (Revised - Milner, Tofte, et al. - 1997
557	From system F to typed assembly language - Morrisett, Walker, et al. - 1999
490	A syntactic approach to type soundness - Wright, Felleisen - 1994
475	A Semantics of Multiple Inheritance - Cardelli - 1988
388	Mixin-based inheritance - Bracha, Cook - 1990
251	A type-theoretic approach to higher-order modules - Harper, Lillibridge - 1994
237	The revised report on the syntactic theories of sequential control and state - Felleisen, Hieb - 1992
208	Manifest types, modules, and separate compilation - Leroy - 1994
192	Standard ML of New Jersey - McQueen, Appel - 1991
180	Modules for Standard ML - MacQueen - 1984
166	A call-by-need lambda calculus - Ariola, Felleisen, et al. - 1995
138	The Programming Language Jigsaw: Mixins, Modularity and Multiple Inheritance - Bracha - 1992
130	Higher-order modules and the phase distinction - Harper, Mitchell, et al. - 1990
129	Type inference with polymorphic recursion - Henglein - 1993
127	Complete type inference for simple objects - Wand - 1987
124	The undecidability of the second-order unification problem - Goldfarb - 1981
121	The categorical abstract machine - Cousineau, Curien, et al. - 1985
119	Typechecking records and variants in a natural extension of ML - Rémy - 1989
118	Modern Compiler Implementation in ML - Appel - 1998
109	Type inference for record concatenation and multiple inheritance - Wand - 1989
100	A calculus of module systems - Ancona, Zucca
86	Modularity meets inheritance - Bracha, Lindstrom - 1992
79	What is a recursive module - Crary, Harper, et al. - 1999
77	A type system for higher-order modules - Dreyer, Crary, et al. - 2003
73	A modular module system - Leroy - 2000
71	PLT MzScheme: Language Manual - Flatt - 2008
62	Mixin modules in a call-by-value setting - Hirschowitz, Leroy
55	A record calculus based on symmetric concatenation - Harper, Pierce - 1991
54	Types for Modules - Russo
53	A syntactic theory of type generativity and sharing - Leroy - 1996
53	Translucent sums: A foundation for higher-order module systems - Lillibridge - 1997
52	Abstract types and the dot notation - Cardelli, Leroy - 1990
52	E#cient inference of object types - Palsberg - 1994
50	Import is not inheritance — why we need both: Modules and classes - Szyperski - 1992
41	Recursive monadic bindings - Erkök, Launchbury - 2000
37	An interpretation of Standard ML in type theory - Harper, Stone - 1997
36	Typing record concatenation for free - Rémy - 1994
34	Cyclic lambda graph rewriting - Ariola, Klop - 1994
33	Lambda calculus with explicit recursion - Ariola, Klop - 1997
33	The recursive record semantics of objects revisited - Boudol - 2004
32	A versatile constraint-based type inference system - Pottier - 2000
30	Garrigue, Didier Rémy and Jéróme Vouillon: The Objective Caml System - Leroy, Doligez, et al. - 2010
29	Pierre-Louis Curien, and Jean-Jacques Lévy. Explicit substitutions - Abadi, Cardelli - 1991
26	Skew confluence and the lambda calculus with letrec. Annals of pure and applied logic 117(1–3 - Ariola, Blom - 2002