• 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

Blame for all (2009)

Cached

  • Download as a PDF

Download Links

  • [www.cs.uchicago.edu]
  • [www.ece.northwestern.edu]
  • [www.cs.indiana.edu]
  • [ece.colorado.edu]
  • [ecee.colorado.edu]
  • [ece-www.colorado.edu]
  • [ece-www.colorado.edu]
  • [ece.colorado.edu]
  • [ecee.colorado.edu]
  • [www.cs.indiana.edu]

  • Save to List
  • Add to Collection
  • Correct Errors
  • Monitor Changes
by Amal Ahmed , Robert Bruce Findler , Jeremy G. Siek , Philip Wadler
Venue:In Workshop on Script-to-Program Evolution (STOP
Citations:5 - 0 self
  • Summary
  • Active Bibliography
  • Co-citation
  • Clustered Documents
  • Version History

BibTeX

@INPROCEEDINGS{Ahmed09blamefor,
    author = {Amal Ahmed and Robert Bruce Findler and Jeremy G. Siek and Philip Wadler},
    title = {Blame for all},
    booktitle = {In Workshop on Script-to-Program Evolution (STOP},
    year = {2009}
}

Bookmark

citeulike Connotea Bibsonomy Del.icio.us Digg Reddit

OpenURL

 

Abstract

Several programming languages are beginning to integrate static and dynamic typing, including Racket (formerly PLT Scheme), Perl

Citations

332 Types, abstraction, and parametric polymorphism - Reynolds - 1983
290 Theorems for free - Wadler - 1989
173 A short cut to deforestation - Gill, Launchbury, et al. - 1993
148 Dynamic typing in a statically typed language - Abadi, Cardelli, et al. - 1991
96 Hybrid type checking - Flanagan - 2006
89 Simple imperative polymorphism - Wright - 1995
84 Contracts for higher-order functions - Findler, Felleisen - 2002
57 System F with type equality coercions - Sulzmann, Chakravarty, et al. - 2007
44 Syntactic type abstraction - Grossman, Morrisett, et al. - 2000
42 Dynamic typing: Syntax and proof theory - Henglein - 1994
39 Gradual typing for functional languages - Siek, Taha - 2006
38 Type inference with partial types - Thatte - 1988
33 Generativity and dynamic opacity for abstract types - Rossberg - 2003
28 Types are not sets - Morris - 1973
27 Dynamic typing with dependent types - Ou, Tan, et al. - 2004
26 Sage: Hybrid checking for flexible specifications - Gronski, Knowles, et al. - 2006
25 Operational semantics for multi-language programs - Matthews, Findler - 2007
25 Interlanguage migration: From scripts to programs - Tobin-Hochstadt, Felleisen - 2006
22 Findler and Matthias Felleisen. Contracts for higher-order functions - Bruce - 2002
17 and Robert Bruce Findler. Well-typed programs can’t be blamed - Wadler - 2009
8 Parametric polymorphism through run-time sealing, or, theorems for low, low prices - Matthews, Ahmed - 2008
7 Non-parametric parametricity - Neis, Dreyer, et al. - 2009
5 Bruce Findler, and Shriram Krishnamurthi. Relationally-parametric polymorphic contracts - Guha, Matthews, et al. - 2007
4 Practical Foundations for Programming Languages - Harper - 2013
2 and Eijiro Sumii. Relating cryptography and polymorphism - Pierce - 2000
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