containing proofs. Contents

by Philip Wadler , Robert Bruce Findler

@MISC{Wadler_containingproofs.,
    author = {Philip Wadler and Robert Bruce Findler},
    title = {containing proofs. Contents},
    year = {}
}

title. It includes the ESOP version verbatim, followed by an appendix

1341	Object-Oriented Software Construction - Meyer - 1997
148	Dynamic typing in a statically typed language - Abadi, Cardelli, et al. - 1991
96	Hybrid type checking - Flanagan - 2006
84	Contracts for higher-order functions - Findler, Felleisen - 2002
47	Pluggable type systems - Bracha - 2004
44	Dynamic typing: syntax and proof theory - Henglein - 1994
42	The design and implementation of Typed Scheme - Tobin-Hochstadt, Felleisen - 2008
40	Gradual typing for functional languages - Siek, Taha - 2006
38	Type inference with partial types - Thatte - 1988
29	Static typing where possible, dynamic typing when needed: The end of the cold war between programming languages, 2004. http://research.microsoft.com/ en-us/um/people/emeijer/Papers/ RDL04Meijer.pdf - Meijer, Drayton
28	Dynamic typing with dependent types - Ou, Tan, et al. - 2004
26	Sage: Hybrid Checking for Flexible Specifications - Gronski, Knowles, et al. - 2006
26	Operational semantics for multi-language programs - Matthews, Findler - 2007
23	Contracts as pairs of projections - Findler, Blume - 2006
18	Well-typed programs can’t be blamed - Wadler, Findler - 2009
9	Unifying hybrid types and contracts - Gronski, Flanagan - 2007
5	Exploring the design space of higher-order casts - Siek, Garcia, et al. - 2009
2	Fine-grained interoperability through contracts and mirrors - Gray, Findler, et al.