Tagless staged interpreters for typed languages
- 17 September 2002
- journal article
- Published by Association for Computing Machinery (ACM) in ACM SIGPLAN Notices
- Vol. 37 (9) , 218-229
- https://doi.org/10.1145/583852.581499
Abstract
No abstract availableThis publication has 29 references indexed in Scilit:
- Inductive definitions in the system Coq rules and propertiesPublished by Springer Nature ,2005
- A type system for certified binariesACM SIGPLAN Notices, 2002
- A general formulation of simultaneous inductive-recursive definitions in type theoryThe Journal of Symbolic Logic, 2000
- Inherited LimitsPublished by Springer Nature ,1999
- Multi-stage programming: axiomatization and type safetyPublished by Springer Nature ,1998
- Building domain-specific embedded languagesACM Computing Surveys, 1996
- A Syntactic Approach to Type SoundnessInformation and Computation, 1994
- Inductive familiesFormal Aspects of Computing, 1994
- LEAP: A language with eval and polymorphismPublished by Springer Nature ,1989
- Programming pearlsCommunications of the ACM, 1986