Signature: A Type-Passing Implementation of Value Types and Genericity

Signature: A Type-Passing Implementation of Value Types and Genericity (2002)

Cached

Download Links

[www.informatics.sussex.ac.uk]

by Tim Owen

BibTeX

@MISC{Owen02signature:a,
    author = {Tim Owen},
    title = {Signature: A Type-Passing Implementation of Value Types and Genericity},
    year = {2002}
}

Bookmark

OpenURL

Abstract

Citations

1541	The Java Language Specification - Gosling, Joy, et al. - 1996
1392	The C++ Programming Language - Stroustrup - 1995
1208	SmallTalk-80: The Language and its Implementation - Goldberg, Robson - 1983
1128	The C Programming Language - Kernighan, Ritchie - 1988
1023	The Java Virtual Machine Specification - Lindholm, Yellin - 1996
830	A Theory of Objects - Abadi, Cardelli - 1996
783	Design Patterns - Gamma, Helm, et al. - 1995
727	On understanding types, data abstraction, and polymorphism - Cardelli, Wegner - 1985
706	Eiffel: the language - Meyer - 1992
416	Uniprocessor garbage collection techniques, Yves Bekkers and Jacques Cohen (eds - Wilson - 1992
312	Making the future safe for the past: adding genericity to the java programming language - Bracha, Odersky, et al. - 1998
297	Pizza into java: Translating theory into practice - Odersky, Wadler - 1997
269	Region-based memory management - Tofte, Talpin - 1997
266	Garbage Collection in an Uncooperative Environment - Boehm, Weiser - 1988
252	Compiling polymorphism using intensional type analysis - Harper, Morrisett - 1995
241	Escape analysis for java - Choi, Gupta, et al. - 1999
219	TIL: A TypeDirected Optimizing Compiler for ML - Tarditi, Morrisett, et al. - 1996
211	The Design and Evolution of C - Stroustrup - 1994
163	Unboxed objects and polymorphic typing - Leroy - 1992
159	Parameterized types for Java - Myers, Bank, et al. - 1997
150	An efficient implementation of self a dynamically-typed object-oriented language based on prototypes - Chambers, Ungar, et al. - 1989
144	Modern Compiler Implementation in Java - Appel - 1998
135	A type-based compiler for Standard ML - Shao, Appel - 1995
132	Intensional polymorphism in type-erasure semantics - Crary, Weirich, et al. - 1998
127	Covariance and contravariance: conflict without a cause - Castagna - 1995
125	The Design and Evaluation of a High Performance Smalltalk System. ACM distinguished dissertation - Ungar - 1986
122	F-bounded polymorphism for object-oriented programming - Canning, Cook, et al. - 1989
120	The Design and Implementation of the SELF Compiler, an Optimizing Compiler for an Objected-Oriented Programming Language - Chambers - 1992
117	Making Pure Object-Oriented Languages Practical - Chambers, Ungar - 1991
114	Derivable type classes - Hinze, Jones - 2000
109	The Cecil language: Specification and rationale - CHAMBERS - 1993
108	D.: Design and implementation of generics for the .NET common language runtime - Kennedy, Syme - 2001
103	Space Efficient Conservative Garbage Collection - Boehm - 1993
97	itchell.1997.Adding Type Parameterization to the Java Language - Agesen, reund, et al.
97	Compiling with Types - Morrisett - 1995
89	More Effective C - Meyers - 1995
86	An overview of the FLINT/ML compiler - Shao - 1997
75	Subtypes vs. where clauses: constraining parametric polymorphism - Day, Gruber, et al. - 1995
75	Toba: Java for applications: A way ahead of time (wat) compiler - Proebsting, Townsend, et al. - 1997
69	A Statically Safe Alternative to Virtual Types - Bruce, Odersky, et al. - 1998
65	CLU Reference Manual - Liskov, Atkinson, et al. - 1981
65	Tag-free garbage collection using explicit type parameters - Tolmach - 1994
63	Marmot: an optimizing compiler for Java - Fitzgerald, Knoblock, et al. - 2000
63	Flexible representation analysis - Shao - 1997
62	Typing a multi-language intermediate code - Gordon, Syme - 2001
62	C--: a portable assembly language that supports garbage collection - Jones, Ramsey, et al. - 1999
59	CACAO — A 64-bit JavaVM just-in-time compiler. Concurrency: Practice and Experience - Krall, Grafl - 1997
58	Implementing typed intermediate languages - Shao, League, et al. - 1998
55	Modular statically typed multimethods - Millstein, Chambers - 2002
54	et al.: The Jalapeño virtual machine - Alpern, Attanasio, et al. - 2000