Publications by Jonathan Aldrich

Conference

A Type System for Borrowing Permissions

2012 • Conference Record of the Annual ACM Symposium on Principles of Programming Languages • 557-570
Naden K, Bocchino R, Aldrich J, Bierhoff K

Conference

Gradual Typestate

2011 • Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) • 6813:459-483
Wolff R, Garcia R, Tanter E, Aldrich J

Conference

Plaid

2011 183-184
Aldrich J, Bocchino R, Garcia R, Hahnenberg M, Mohr M, Naden K, Saini D, Stork S, Sunshine J, Tanter É, Wolff R

Conference

DynXML

2010 29-38
Sunshine J, Aldrich J