A type system for reflective program generators
DOI10.1016/J.SCICO.2010.12.002zbMATH Open1215.68062OpenAlexW4210565982MaRDI QIDQ532406FDOQ532406
Authors: Christof Lutteroth, Dirk Draheim, G. Weber 
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
Recommendations
Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19)
Cites Work
- Title not available (Why is that?)
- Statically safe program generation with SafeGen
- Title not available (Why is that?)
- Types and programing languages
- MetaML and multi-stage programming with explicit annotations
- Experiences with an object-oriented, multi-stage language
- Title not available (Why is that?)
- Finite Differencing of Computable Expressions
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Generic Programming
- Generic Haskell: applications.
- A type system for reflective program generators
- Cayenne -- a language with dependent types
Cited In (6)
- Title not available (Why is that?)
- A type system for reflective program generators
- Generative type abstraction and type-level computation
- Refined environment classifiers. Type- and scope-safe code generation with mutable cells
- A design for type-directed programming in Java
- Statically safe program generation with SafeGen
Uses Software
This page was built for publication: A type system for reflective program generators
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q532406)
