| 2000 | First-Class Structures for Standard ML. | Claudio V. Russo |
| 2000 | A 3-Part Type Inference Engine. | Franois Pottier |
| 2000 | Functional Nets. | Martin Odersky |
| 2000 | A Kleene Analysis of Mobile Ambients. | Flemming Nielson, Hanne Riis Nielson, Shmuel Sagiv |
| 2000 | On the Translation of Procedures to Finite Machines. | Markus Mller-Olm, Andreas Wolf |
| 2000 | Improving the Representation of Infinite Trees to Deal with Sets of Trees. | Laurent Mauborgne |
| 2000 | A Calculus for Link-Time Compilation. | Elena Machkasova, Franklyn A. Turbak |
| 2000 | Sharing Continuations: Proofnets for Languages with Explicit Control. | Julia L. Lawall, Harry G. Mairson |
| 2000 | Type Classes with Functional Dependencies. | Mark P. Jones |
| 2000 | The Correctness of Type Specialisation. | John Hughes |
| 2000 | Implementing Groundness Analysis with Definite Boolean Functions. | Jacob M. Howe, Andy King |
| 2000 | Secure Information Flow as Typed Process Behaviour. | Kohei Honda, Vasco Thudichum Vasconcelos, Nobuko Yoshida |
| 2000 | A Type System for Bounded Space and Functional In-Place Update--Extended Abstract. | Martin Hofmann |
| 2000 | Abstract Domains for Universal and Existential Properties. | Andrew Heaton, Patricia M. Hill, Andy King |
| 2000 | A Calculus for Compiling and Linking Classes. | Kathleen Fisher, John H. Reppy, Jon G. Riecke |
| 2000 | Compile-Time Debugging of C Programs Working on Trees. | Jacob Elgaard, Anders Mller, Michael I. Schwartzbach |
| 2000 | Correctness of Java Card Method Lookup via Logical Relations. | Ewen Denney, Thomas P. Jensen |
| 2000 | Formalizing Implementation Strategies for First-Class Continuations. | Olivier Danvy |
| 2000 | Directional Type Checking for Logic Programs: Beyond Discriminative Types. | Witold Charatonik |
| 2000 | Flow-Directed Closure Conversion for Typed Languages. | Henry Cejtin, Suresh Jagannathan, Stephen Weeks |
| 2000 | On the Expressiveness of Event Notification in Data-Driven Coordination Languages. | Nadia Busi, Gianluigi Zavattaro |
| 2000 | Faithful Translations between Polyvariant Flows and Polymorphic Types. | Torben Amtoft, Franklyn A. Turbak |
| 1999 | Safe and Principled Language Interoperation. | Valery Trifonov, Zhong Shao |
| 1999 | Higher-Order Code Splicing. | Peter Thiemann |
| 1999 | A Per Model of Secure Information Flow in Sequential Programs. | Andrei Sabelfeld, David Sands |