Polymorphic regular tree types and patterns (2006)

by J Vouillon
Venue:In POPL ’06