A type system for reflective program generators
From MaRDI portal
Publication:532406
DOI10.1016/j.scico.2010.12.002zbMath1215.68062MaRDI QIDQ532406
Gerald Weber, Dirk Draheim, Christof Lutteroth
Publication date: 4 May 2011
Published in: Science of Computer Programming (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.scico.2010.12.002
68N19: Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.)
68N30: Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.)
Related Items
Uses Software
Cites Work
- Statically safe program generation with SafeGen
- A type system for reflective program generators
- MetaML and multi-stage programming with explicit annotations
- Experiences with an object-oriented, multi-stage language
- Finite Differencing of Computable Expressions
- Generic Programming
- Generic Programming
- Cayenne—a language with dependent types
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item