• Documents
  • Authors
  • Tables
  • Other Seers ▼
    RefSeer AckSeer CollabSeer SeerSeer
  • Log in
  • Sign up
  • MetaCart

CiteSeerX logo

Advanced Search Include Citations
Advanced Search Include Citations | Disambiguate

containing proofs. Contents

Cached

  • Download as a PDF

Download Links

  • [www.cs.uchicago.edu]
  • [www.ece.northwestern.edu]
  • [www.eecs.northwestern.edu]

  • Save to List
  • Add to Collection
  • Correct Errors
  • Monitor Changes
by Philip Wadler , Robert Bruce Findler
  • Summary
  • Active Bibliography
  • Co-citation
  • Clustered Documents
  • Version History

BibTeX

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

Bookmark

citeulike Connotea Bibsonomy Del.icio.us Digg Reddit

OpenURL

 

Abstract

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

Citations

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.
The National Science Foundation
  • About CiteSeerX
  • Submit Documents
  • Privacy Policy
  • Help
  • Data
  • Source
  • Contact Us

Developed at and hosted by The College of Information Sciences and Technology

© 2007-2010 The Pennsylvania State University