Cayenne
Cayenne -- a Language with Dependent Types
L. Augustsson[ (ed)]
(INPROCEEDINGS, 1998)
comqss@herts.ac.uk
![[-]](http://homepages.feis.herts.ac.uk/~comqss/icons/tbook_empty.gif){kind=spacer}
Cayenne -- a Language with Dependent Types
Cayenne -- a Language with Dependent Types