Untyped Recursion Schemes and Infinite Intersection Types.

Takeshi Tsukada, Naoki Kobayashi

Browse the full FOSSACS paper archive.