Distinguishing Data Structures and Functions: the Constructor Calculus and Functorial Types (2001)

Cached

Download Links

by C. Barry Jay
Venue:Typed Lambda Calculi and Applications: 5th International Conference TLCA 2001
Citations:9 - 1 self