3 ms·

Thanks, these look quite interesting! I'll read them when I get time.

• peterfirefly 11y ago
  See also chapter 7 of Morrisett's thesis: http://www.cs.cmu.edu/~rwh/theses/morrisett.pdf http://www.cs.cmu.edu/~rwh/theses/morrisett.pdf