Gallimaufry An Automated Framework for Proving Type-Safety Anne Mulhern Computer Sciences Department University of Wisconsin-Madison Madison, WI USA [email protected] www.cs.wisc.edu/~mulhern/gallimaufry…
