Meta-programming through typeful code representation
- 25 August 2003
- conference paper
- Published by Association for Computing Machinery (ACM)
- Vol. 38 (9) , 275-286
- https://doi.org/10.1145/944705.944730
Abstract
No abstract availableKeywords
This publication has 20 references indexed in Scilit:
- Closed types for a safe imperative MetaMLJournal of Functional Programming, 2003
- A modal analysis of staged computationJournal of the ACM, 2001
- MetaML and multi-stage programming with explicit annotationsTheoretical Computer Science, 2000
- A Metalanguage for Programming with Bound Names Modulo RenamingPublished by Springer Nature ,2000
- Partial evaluation for media processingACM Computing Surveys, 1998
- Simple imperative polymorphismHigher-Order and Symbolic Computation, 1995
- State in HaskellHigher-Order and Symbolic Computation, 1995
- On the partial computation principleInformation Processing Letters, 1977
- Lambda calculus notation with nameless dummies, a tool for automatic formula manipulation, with application to the Church-Rosser theoremIndagationes Mathematicae, 1972
- A formulation of the simple theory of typesThe Journal of Symbolic Logic, 1940