— The Wizard of OzAcknowledgments

by Unknown Authors

Active Bibliography

Practical Variable-Arity Polymorphism – T. Stephen Strickl, Sam Tobin-hochstadt, Matthias Felleisen
Progressive Types ∗ – Joe Gibbs Politz, Hannah Quay-de La Vallee, Shriram Krishnamurthi
1 Adding Types to Untyped Languages – Matthias Felleisen
1 Functional Data Structures for Typed Racket – Hari Prashanth K R, Sam Tobin-hochstadt
3 Dynamically Typed Languages – Laurence Tratt - 2009
Space-Efficient Blame Tracking for Gradual Types – Jeremy G. Siek
1 Constraining Delimited Control with Contracts ⋆ – Asumu Takikawa, T. Stephen Strickl, Sam Tobin-hochstadt
Languages, Design – Asumu Takikawa, T. Stephen, Strickland Christos Dimoulas, Sam Tobin-hochstadt, Matthias Felleisen
Foundations for Behavioral Higher-Order Contracts – unknown authors
Modular, parsing-based, flow analysis of dictionary data structures in scripting languages – David A. Schmidt
2 Gradual Information Flow Typing – Tim Disney, Cormac Flanagan
3 Stateful Contracts for Affine Types ∗ – Jesse A. Tov, Riccardo Pucella
17 Threesomes, with and without blame – Jeremy G. Siek, Philip Wadler - 2009
4 Combining Static and Dynamic Typing in Ruby – Michael Furr - 2009
5 Gradual Typing with Unification-based Inference – Jeremy G. Siek, Manish Vachharajani - 2008
9 Adding dynamic types to C ♯ – Gavin Bierman, Erik Meijer, Mads Torgersen
4 Modelyze: a Gradually Typed Host Language for Embedding Equation-Based Modeling Languages – David Broman, Jeremy G. Siek - 2012
36 Static Type Inference for Ruby – Michael Furr, et al. - 2009
20 Integrating Typed and Untyped Code in a Scripting Language – Tobias Wrigstad, Nardelli Sylvain, Lebresne Johan, Östlund Jan Vitek