William Retert

Connecting effects and uniqueness with adoption

John Tang Boyland, William Retert, J. Boyland, 2005, POPL '05.

Implementing permission analysis

John Boyland, William Retert, 2009 .

Capabilities for Sharing: A Generalisation of Uniqueness and Read-Only

John Tang Boyland, James Noble, William Retert, 2001, ECOOP.

Comprehending annotations on object-oriented programs using fractional permissions

Yang Zhao, John Boyland, William Retert, 2009 .

Iterators can be Independent “ from ” Their Collections

Yang Zhao, John Boyland, William Retert, 2007 .

Interprocedural Analysis for JVML Verification

John Boyland, William Retert, 2002 .