Programming in Ωmega
- 26 September 2008
- book chapter
- conference paper
- Published by Springer Science and Business Media LLC in Lecture Notes in Computer Science
Abstract
No abstract availableThis publication has 29 references indexed in Scilit:
- Definitional treesPublished by Springer Science and Business Media LLC ,2005
- Meta-programming with Typed Object-Language RepresentationsPublished by Springer Science and Business Media LLC ,2004
- Typing dynamic typingPublished by Association for Computing Machinery (ACM) ,2002
- A Finite Axiomatization of Inductive-Recursive DefinitionsLecture Notes in Computer Science, 1999
- Cayenne—a language with dependent typesACM SIGPLAN Notices, 1998
- A refinement-type checker for standard MLPublished by Springer Science and Business Media LLC ,1997
- λν, a calculus of explicit substitutions which preserves strong normalisationJournal of Functional Programming, 1996
- Inductive definitions and type theory an introduction (preliminary version)Lecture Notes in Computer Science, 1994
- On understanding types, data abstraction, and polymorphismACM Computing Surveys, 1985
- A theory of type polymorphism in programmingJournal of Computer and System Sciences, 1978