The type and effect discipline
- 2 January 2003
- conference paper
- Published by Institute of Electrical and Electronics Engineers (IEEE)
Abstract
No abstract availableThis publication has 12 references indexed in Scilit:
- A theory of type polymorphism in programmingPublished by Elsevier ,2003
- The type and effect disciplinePublished by Institute of Electrical and Electronics Engineers (IEEE) ,2003
- Algebraic reconstruction of types and effectsPublished by Association for Computing Machinery (ACM) ,1991
- Polymorphic type inference and assignmentPublished by Association for Computing Machinery (ACM) ,1991
- Typing first-class continuations in MLPublished by Association for Computing Machinery (ACM) ,1991
- Static dependent types for first class modulesPublished by Association for Computing Machinery (ACM) ,1990
- Reasoning about continuations with control effectsPublished by Association for Computing Machinery (ACM) ,1989
- Polymorphic effect systemsPublished by Association for Computing Machinery (ACM) ,1988
- The essence of MLPublished by Association for Computing Machinery (ACM) ,1988
- A Machine-Oriented Logic Based on the Resolution PrincipleJournal of the ACM, 1965