Fully reflexive intensional type analysis.

Valery Trifonov, Bratin Saha, Zhong Shao

Browse the full ICFP paper archive.