Generic Programming in Ωmega
- 1 January 2007
- conference paper
- conference paper
- Published by Springer Science and Business Media LLC in Lecture Notes in Computer Science
Abstract
No abstract availableThis publication has 18 references indexed in Scilit:
- Definitional treesPublished by Springer Science and Business Media LLC ,2005
- A language-based approach to functionally correct imperative programmingACM SIGPLAN Notices, 2005
- Applied Type SystemLecture Notes in Computer Science, 2004
- A type system for certified binariesACM SIGPLAN Notices, 2002
- MetaML and multi-stage programming with explicit annotationsTheoretical Computer Science, 2000
- Do we need dependent types?Journal of Functional Programming, 2000
- Cayenne—a language with dependent typesACM SIGPLAN Notices, 1998
- Eliminating array bound checking through dependent typesACM SIGPLAN Notices, 1998
- A refinement-type checker for standard MLPublished by Springer Science and Business Media LLC ,1997
- On understanding types, data abstraction, and polymorphismACM Computing Surveys, 1985