Efficient and Flexible Matching of Recursive Types.

Jens Palsberg, Tian Zhao

Browse the full LICS paper archive.