Skip to content

JPure: A Modular Purity System for Java.

David J. Pearce

VenueBCC
Year2011
ProceedingsCC

Browse the full CC paper archive.