Some notes
Recursive types and fixed points
, April 2017.
Call-by-name normalization for System F
, November 2014.
Extending unannotated System F with positive-recursive types
, December 2014.