— The Wizard of OzAcknowledgments
by Unknown Authors
Active Bibliography
| Practical Variable-Arity Polymorphism – T. Stephen Strickl, Sam Tobin-hochstadt, Matthias Felleisen | |
| Functional Data Structures for Typed Racket – Hari Prashanth K R, Sam Tobin-hochstadt | |
| 1 | Dynamically Typed Languages – Laurence Tratt - 2009 |
| Space-Efficient Blame Tracking for Gradual Types – Jeremy G. Siek | |
| Languages, Verification – unknown authors | |
| Languages, Verification – unknown authors | |
| 3 | Gradual Typing with Unification-based Inference – Jeremy G. Siek, Manish Vachharajani - 2008 |
| 3 | Threesomes, with and without blame – Jeremy G. Siek, Philip Wadler - 2009 |
| 3 | Always-available static and dynamic feedback – Michael Bayne, Richard Cook, Michael D. Ernst |
| 22 | Static Type Inference for Ruby – Michael Furr, et al. - 2009 |
| 9 | Integrating Typed and Untyped Code in a Scripting Language – Tobias Wrigstad, Nardelli Sylvain, Lebresne Johan, Östlund Jan Vitek |
| 1 | Stateful Contracts for Affine Types ∗ – Jesse A. Tov, Riccardo Pucella |
| 4 | Adding dynamic types to C ♯ – Gavin Bierman, Erik Meijer, Mads Torgersen |
| Polymorphic Contracts – João Filipe Belo, Michael Greenberg, Atsushi Igarashi, Benjamin C. Pierce | |
| Agent Mobility and Reification of Computational State – Werner Van Belle, Theo D'Hondt - 2000 | |
| 1 | The boost C++ metaprogramming library – Aleksey Gurtovoy, David Abrahams - 2002 |
| Proceedings of the Fourth Workshop on Scheme and Functional Programming – Matthew Flatt, Erick Gallesio, Université De Nice, Tim Hickey, Mario Latendresse Fnmoc, Jeffrey Mark Siskind, Er Friedman, Jamie Raymond, Marc Feeley, Danny Dubé - 2003 | |
| 8 | Compiling Erlang to Scheme – Marc Feeley, Martin Larose - 1998 |
| THEORY & PRACTICE – Gerald Jay Sussman |
