Typing first-class patterns (2006)

Cached

Download Links

by Barry Jay
Venue:In Higher-Order Rewriting, proceedings
Citations:18 - 6 self