Modal types as staging specifications for run-time code generation
- 1 September 1998
- journal article
- Published by Association for Computing Machinery (ACM) in ACM Computing Surveys
- Vol. 30 (3es)
- https://doi.org/10.1145/289121.289129
Abstract
No abstract availableThis publication has 4 references indexed in Scilit:
- Multi-stage programming with explicit annotationsPublished by Association for Computing Machinery (ACM) ,1997
- A modal analysis of staged computationPublished by Association for Computing Machinery (ACM) ,1996
- Optimistic incremental specializationPublished by Association for Computing Machinery (ACM) ,1995
- DCGPublished by Association for Computing Machinery (ACM) ,1994