Reasoning about functional programming in Java and C++.

David R. Cok

Browse the full ISSTA paper archive.