Language Constructs and Features

by Sean Seefried

@MISC{Seefried_languageconstructs,
    author = {Sean Seefried},
    title = {Language Constructs and Features},
    year = {}
}

the expression problem with true separate compilation

315	How to make ad-hoc polymorphism less ad-hoc - Wadler, Blott - 1989
159	Polyglot: An Extensible Compiler Framework for Java - Nystrom, Clarkson, et al. - 2003
48	Scrap your boilerplate with class: extensible generic functions - Lämmel, Jones - 2005
39	Synthesizing Object-Oriented and Functional Design to Promote Re-Use - Krishnamurthi, Felleisen, et al. - 1998
32	Code reuse through polymorphic variants - Garrigue - 2000
32	Independently extensible solutions to the expression problem - Odersky, Zenger - 2005
30	User-Defined Types and Procedural Data Structures as Complementary Approaches to Data Abstraction - Reynolds - 1994
27	Type Classes with Existential Types - Laufer - 1996
18	Some challenging typing issues in object-oriented languages - Bruce
18	Open data types and open functions - Löh, Hinze - 2006
10	Restricted data types in Haskell - Hughes - 1999
9	The expression problem. Discussion on the Java-Genericity mailing list - Wadler - 1998
3	Dynamic applications from the ground up - Stewart, Chakravarty - 2005
1	Extensible grammars, on the comp.compilers newsgroup, http://compilers.iecc.com/comparch /article/04-12-111 - Lämmel - 2004
1	Extensible Data Types with Defaults - Zenger, Odersky - 2001
1	Solving the expression problem in Haskell with true separate compilation - Seefried, Chakravarty - 2007