Cayenne—a language with dependent types
- 29 September 1998
- proceedings article
- Published by Association for Computing Machinery (ACM)
- Vol. 34 (1) , 239-250
- https://doi.org/10.1145/289423.289451
Abstract
No abstract availableThis publication has 6 references indexed in Scilit:
- Implementing Haskell overloadingPublished by Association for Computing Machinery (ACM) ,1993
- Implementing type classesPublished by Association for Computing Machinery (ACM) ,1993
- A framework for defining logicsJournal of the ACM, 1993
- Report on the programming language HaskellACM SIGPLAN Notices, 1992
- The Chalmers Lazy-ML CompilerThe Computer Journal, 1989
- The calculus of constructionsInformation and Computation, 1988