Cayenne -- a Language With Dependent Types (1998)

Cached

Download Links

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