David J. Pearce
JPure: A Modular Purity System for Java
CC, 2011.
@inproceedings{CC-2011-Pearce, author = "David J. Pearce", booktitle = "{Proceedings of the 20th International Conference on Compiler Construction}", doi = "10.1007/978-3-642-19861-8_7", isbn = "978-3-642-19860-1", pages = "104--123", publisher = "{Springer International Publishing}", series = "{Lecture Notes in Computer Science}", title = "{JPure: A Modular Purity System for Java}", volume = 6601, year = 2011, }