Dependent types in practical programming
- 1 January 1999
- conference paper
- Published by Association for Computing Machinery (ACM)
- p. 214-227
- https://doi.org/10.1145/292540.292560
Abstract
No abstract availableThis publication has 11 references indexed in Scilit:
- Cayenne—a language with dependent typesPublished by Association for Computing Machinery (ACM) ,1998
- Eliminating array bound checking through dependent typesPublished by Association for Computing Machinery (ACM) ,1998
- Local type inferencePublished by Association for Computing Machinery (ACM) ,1998
- Indexed typesTheoretical Computer Science, 1997
- Proof-carrying codePublished by Association for Computing Machinery (ACM) ,1997
- Proving the correctness of reactive systems using sized typesPublished by Association for Computing Machinery (ACM) ,1996
- Reasoning about programs in continuation-passing styleHigher-Order and Symbolic Computation, 1993
- A framework for defining logicsJournal of the ACM, 1993
- Report on the programming language HaskellACM SIGPLAN Notices, 1992
- Refinement types for MLPublished by Association for Computing Machinery (ACM) ,1991