The Diesel language specification and rationale: Version 0.2

The Diesel language specification and rationale: Version 0.2 (2006)

Cached

Download Links

[www.cs.washington.edu]

by Craig Chambers

Citations:

3 - 0 self

BibTeX

@MISC{Chambers06thediesel,
    author = {Craig Chambers},
    title = {The Diesel language specification and rationale: Version 0.2},
    year = {2006}
}

Bookmark

OpenURL

Abstract

NOTE: This document is still under construction! 1

Citations

1497	The Definition of Standard ML - Milner, Tofte, et al. - 1997
1392	The C++ Programming Language - Stroustrup - 1995
1341	Object-Oriented Software Construction - Meyer - 1997
1208	SmallTalk-80: The Language and its Implementation - Goldberg, Robson - 1983
759	The Art of the Metaobject Protocol - Kiczales, Rivieres, et al. - 1991
727	On understanding types, data abstraction, and polymorphism - Cardelli, Wegner - 1985
706	Eiffel: the language - Meyer - 1992
520	Self: the power of simplicity - Ungar, Smith - 1987
377	Subject-oriented programming (a critique of pure objects - Harrison, Ossher - 1993
322	Using Prototypical Objects to Implement Shared Behavior in Object Oriented Systems - Lieberman
315	How to make ad-hoc polymorphism less ad-hoc - Wadler, Blott - 1989
312	Making the future safe for the past: adding genericity to the java programming language - Bracha, Odersky, et al. - 1998
302	C.: Optimization of object-oriented programs using static Class Hierarchy Analysis - Dean, Grove, et al. - 1995
297	Pizza into java: Translating theory into practice - Odersky, Wadler - 1997
237	Inheritance is not subtyping - Cook, Hill, et al. - 1990
198	and Bjarne Stroustrup. The Annotated C++ Reference Manual - Ellis - 1990
197	Encapsulation and inheritance in object-oriented programming languages - Snyder - 1986
196	Smalltalk-80 / The Interactive Programming Environment - Goldberg - 1984
159	Parameterized types for Java - Myers, Bank, et al. - 1997
159	The Mathematics of Inheritance Systems - Touretzky - 1986
155	Object-oriented multi-methods in Cecil - Chambers - 1992
150	An efficient implementation of self a dynamically-typed object-oriented language based on prototypes - Chambers, Ungar, et al. - 1989
150	Local type inference - Pierce, Turner
147	Object-Oriented Programming With Flavors - Moon - 1986
145	Object structure in the Emerald system - Black, Hutchinson, et al. - 1986
135	Gent.2003. A Type-Safe Polymorphic object oriented language - Bruce, Schuett, et al.
131	A calculus for overloaded functions with subtyping - Castagna, Ghelli, et al. - 1995
127	Covariance and contravariance: conflict without a cause - Castagna - 1995
120	The Design and Implementation of the SELF Compiler, an Optimizing Compiler for an Objected-Oriented Programming Language - Chambers - 1992
117	A parallel objectoriented language with inheritance and subtyping - America, Linden - 1990
117	Making Pure Object-Oriented Languages Practical - Chambers, Ungar - 1991
117	Predicate classes - Chambers - 1993
110	Vortex: An optimizing compiler for object-oriented languages - DEAN, DEFOUW, et al. - 1996
109	The Cecil language: Specification and rationale - CHAMBERS - 1993
108	A proposal for making Eiffel type-safe - Cook - 1989
105	An Introduction to Trellis/Owl - Schaffert, Cooper, et al. - 1986
99	Sound polymorphic type inference for objects - Eifrig, Smith, et al. - 1995
97	itchell.1997.Adding Type Parameterization to the Java Language - Agesen, reund, et al.
97	Typechecking and modules for multi-methods - Chambers, Leavens - 1994
93	Virtual Classes: A Powerful Mechanism in Object-Oriented Programming - Madsen, Moller-Pedersen - 1989
92	Debugging optimized code with dynamic deoptimization - Hölzle, Chambers, et al. - 1992
88	editors. axiom The Scientific Computation System - Jenks, Sutor - 1992
85	Selective specialization for object-oriented languages - Dean, Chambers, et al. - 1995
78	A simple technique for handling multiple polymorphism - Ingalls - 1986
75	Subtypes vs. where clauses: constraining parametric polymorphism - Day, Gruber, et al. - 1995
75	Report on the programming language Haskell, version 1.2 - Hudak, Jones, et al. - 1992
74	Strongtalk: Typechecking Smalltalk in a production environment - Bracha, Griswold - 1993
72	Profile-guided receiver class prediction - Grove, Dean, et al. - 1995
70	Static type checking of multi-methods - Agrawal, DeMichiel, et al. - 1991
69	A Statically Safe Alternative to Virtual Types - Bruce, Odersky, et al. - 1998