Cayenne -- a Language With Dependent Types (1998)

Cached

Download Links

by Lennart Augustsson
Venue:IN INTERNATIONAL CONFERENCE ON FUNCTIONAL PROGRAMMING
Citations:218 - 0 self