Documents Playing With Fire: Mutation and Quantified Types CIS670, University of Pennsylvania 2 October 2002.....

Slide 1 Playing With Fire: Mutation and Quantified Types CIS670, University of Pennsylvania 2 October 2002 Dan Grossman Cornell University Slide 2 Some context… You’ve…