Collapsible Contracts: Fixing a Pathology of Gradual Typing

Source URL: www.eecs.northwestern.edu

• Algebra
• Vectors
• Mathematics
• Vector calculus
• Linear algebra
• Abstract algebra
• Euclidean vector
• Vector
• Position

Collapsible Contracts: Fixing a Pathology of Gradual Typing

Source URL: www.ece.northwestern.edu

• Algebra
• Vectors
• Mathematics
• Vector calculus
• Linear algebra
• Abstract algebra
• Euclidean vector
• Vector
• Position

Collapsible Contracts: Fixing a Pathology of Gradual Typing DANIEL FELTEY, Northwestern University, USA BEN GREENMAN, Northeastern University, USA CHRISTOPHE SCHOLLIERS, Ghent University, Belgium ROBERT BRUCE FINDLER, No

Source URL: users.eecs.northwestern.edu

• Algebra
• Vectors
• Mathematics
• Vector calculus
• Linear algebra
• Abstract algebra
• Euclidean vector
• Vector
• Position

Gradual Typing Embedded Securely in JavaScript Nikhil Swamy1 Juan Chen1 C´edric Fournet1

Source URL: prosecco.gforge.inria.fr

Gradual Security Typing (for Java) APLS 2015 Albert-Ludwigs-Universit¨ at Freiburg

Source URL: proglang.informatik.uni-freiburg.de

Gradual Typing for First-Class Classes ∗ Asumu Takikawa T. Stephen Strickland Christos Dimoulas Sam Tobin-Hochstadt Matthias Felleisen

Source URL: www.ccs.neu.edu

From Optional to Gradual Typing via Transient Checks Michael M. Vitousek Jeremy G. Siek Indiana University

Source URL: homes.soic.indiana.edu

Is Sound Gradual Typing Dead? Asumu Takikawa Max S. New Daniel Feltey

Source URL: www.ccs.neu.edu

Towards Practical Gradual Typing˚ Asumu Takikawa1 , Daniel Feltey1 , Earl Dean2 , Matthew Flatt3 , Robert Bruce Findler4 , Sam Tobin-Hochstadt2 , and Matthias Felleisen1 1

Source URL: drops.dagstuhl.de

Position Paper: Performance Evaluation for Gradual Typing Asumu Takikawa Daniel Feltey Ben Greenman Jan Vitek Matthias Felleisen

Source URL: www.ccs.neu.edu