Amalgamating sessions and methods in object-oriented languages with generics

A Syntactic Approach to Type Soundness

Andy Wright, Matthias Felleisen · Information and Computation · 1994 · 1.1K citations

Language Studies, Computer Science, Linguistics +6

Featherweight Java

Atsushi Igarashi, Benjamin C. Pierce, Philip Wadler · ACM Transactions on Programming Languages and Systems · 2001 · 1K citations · Full text

Computing, Computer Science, Formal Methods +16

Making the future safe for the past

Gilad Bracha, Martin Odersky, David Stoutamire et al. · 1998 · 503 citations · Full text

Computing, Computer Science, Compilers +16

Subtyping for session types in the pi calculus

Simon J. Gay, Malcolm Hole · Acta Informatica · 2005 · 377 citations

Computing, Computer Science, Formal Methods +7

Language support for fast and reliable message-based communication in singularity OS

Manuel Fähndrich, Mark Aiken, Chris Hawblitzel et al. · 2006 · 293 citations · Full text

Computing, Communication, Computer Science +15