Morrisett, John Gregory; DeHon, André; Karel, Ben; Malecha, Gregory Michael; Montagu, Benoît; Morisset, Robin; Pierce, Benjamin C. et al.(Proceedings of the 6th Workshop on Programming Languages and Operating Systems (PLOS 2011), 2011)
Tarditi, David; Harper, Robert; Morrisett, John Gregory; Cheng, Perry; Stone, Christopher; Lee, Peter(Proceedings of the ACM SIGPLAN 1996 conference on Programming language design and implementation, 1996)Link to Published Version