Signature: A Type-Passing Implementation of Value Types and Genericity (2002)

by Tim Owen

Active Bibliography

On Measuring and Optimizing the Performance of . . . – Laurentiu Dragan - 2007
9 Extensible virtual machines – Timothy L. Harris - 2001
3 The Diesel language specification and rationale: Version 0.2 – Craig Chambers - 2006
53 The Cecil language -- specification and rationale: Version 3.2 – Craig Chambers, The Cecil Group - 2004
22 Constraint-Based Polymorphism in Cecil: Towards a Practical and Static Type System – Vassily Litvinov - 1998
45 Fast and Effective Optimization of Statically Typed Object-Oriented Languages – David Francis Bacon - 1997
PREPRINT Miniboxing: Improving the Speed to Code Size Tradeoff in Parametric Polymorphism Translations – Vlad Ureche, Cristian Talau, Martin Odersky
119 Design and Implementation of Generics for the .NET Common Language Runtime – Andrew Kennedy, Don Syme
66 Types for safe locking: Static race detection for Java – Martin Abadi, Cormac Flanagan, Stephen N. Freund - 2006
Implementation techniques for a multi-service Java Virtual Machine – Timothy L. Harris - 1999
58 SafeJava: A Unified Type System for Safe Programming – Chandrasekhar Boyapati - 2004
35 Type-Preserving Compilation of Featherweight Java – Christopher League, Valery Trifonov, Zhong Shao - 2001
40 Connectivity-Based Garbage Collection – Martin Hirzel, Amer Diwan, Matthew Hertz - 2003
D.Phil. Thesis Proposal – Tim Owen - 1999
5 Rupiah: An extension to Java supporting match-bounded parametric polymorphism, ThisType, and exact typing – Jonathan L. Burstein - 1998
1 Automatic Interprocedural Optimization for Object-Oriented Languages – John Plevyak, Andrew A. Chien, Submittted For Publication
24 Converting Java programs to use generic libraries – Alan Donovan, Adam Kie, Matthew S. Tschantz, Michael D. Ernst - 2004
1 SIMPLIFYING THE ANALYSIS OF C++ PROGRAMS РYuriy Solodkyy, Jaakko Järvi, Lawrence Rauchwerger, Sergiy Butenko, Duncan M. (hank Walker - 2013
2 Rupiah: Towards an Expressive Static Type System for Java – John Foster - 2001