Run-time code generation and modal-ML
- 1 May 1998
- proceedings article
- Published by Association for Computing Machinery (ACM)
Abstract
No abstract availableThis publication has 14 references indexed in Scilit:
- Dynamic specialization in the Fabius systemACM Computing Surveys, 1998
- Modal types as staging specifications for run-time code generationACM Computing Surveys, 1998
- Multi-stage programming with explicit annotationsPublished by Association for Computing Machinery (ACM) ,1997
- ASHsPublished by Association for Computing Machinery (ACM) ,1996
- Fast, effective dynamic compilationPublished by Association for Computing Machinery (ACM) ,1996
- A modal analysis of staged computationPublished by Association for Computing Machinery (ACM) ,1996
- A general approach for run-time specialization and its application to CPublished by Association for Computing Machinery (ACM) ,1996
- The categorical abstract machineScience of Computer Programming, 1987
- Hygienic macro expansionPublished by Association for Computing Machinery (ACM) ,1986
- Hardware/software trade‐offs for bitmap graphics on the blitSoftware: Practice and Experience, 1985