Typmix: A Framework for . . .

Typmix: A Framework for . . . (2007)

Cached

Download Links

[www.cs.washington.edu]

by Thomas Anthony Bergan

BibTeX

@MISC{Bergan07typmix:a,
    author = {Thomas Anthony Bergan},
    title = {Typmix: A Framework for . . . },
    year = {2007}
}

Bookmark

OpenURL

Abstract

Citations

580	Types and Programming Languages - Pierce - 2002
466	Featherweight Java: a minimal core calculus for Java and GJ - Igarashi, Pierce, et al. - 2001
395	The formulae-as-types notion of construction - Howard - 1980
347	Enforcing high-level protocols in low-level software - DeLine, Fähndrich - 2001
330	CIL: Intermediate language and tools for analysis and transformation of C programs - Necula, McPeak, et al. - 2002
324	Model Checking for Programming Languages using VeriSoft - Godefroid - 1997
323	Principal type-schemes for functional programs - Damas, Milner - 1982
322	Flow-sensitive type qualifiers - Foster, Terauchi, et al. - 2002
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
181	Protecting privacy using the decentralized label model - MYERS, LISKOV - 2000
171	A system of constructor classes: overloading and implicit higher-order polymorphism - Jones - 1993
159	Polyglot: An Extensible Compiler Framework for Java - Nystrom, Clarkson, et al. - 2003
100	Syntax Definition for Language Prototyping - Visser - 1997
98	Program Transformation with Stratego/XT: Rules, Strategies, Tools, and Systems in Stratego/XT 0.9 - Visser
91	CCured: Type-Safe Retrofitting of Legacy Software - Necula, Condit, et al. - 2005
87	A Theory of Type Polymorphism - Milner - 1978
81	The Java Language Specification, Third Edition - Gosling, Joy, et al. - 2005
66	Attribute grammar paradigms - a high-level methodology in language implementation - Paakki - 1995
60	Towards a mechanized metatheory of Standard ML - Lee, Crary, et al.
52	98 Language and Libraries - Haskell - 2003
50	A framework for implementing pluggable type systems - Andreae, Noble, et al.
47	Pluggable type systems - Bracha - 2004
47	Semantic type qualifiers - Chin, Markstrum, et al. - 2005
44	Dependent types for low-level programming - Condit, Harren, et al. - 2007
40	Gradual typing for functional languages - Siek, Taha - 2006
21	Attribute Grammar-Based Language Extensions for Java. Lecture - Wyk, Krishnan, et al.
15	Tinkertype: A language for playing with formal systems - Levin, Pierce - 2003
14	nested intersection for scalable software composition - J& - 2006
3	Siek, Bjarne Stroustrup, Gabriel Dos Reis, and Andrew Lumsdaine. “Concepts: linguistic support for generic programming in C - Gregor, Järvi, et al. - 2006