Implementing monads for C++ template metaprograms (original) (raw)
Related papers
Functional Programming with C++ Template Metaprograms
Central European Functional Programming School, 2010
Maybe and Either Monads in Plain C++17
On the correctness of template metaprograms
FOG: A Meta-compiler for C++ Patterns
1998
Deriving Compilers from Monadic Semantics
Leveraging C++ Meta-programming Capabilities to Simplify the Message Passing Programming Model
Lecture Notes in Computer Science, 2011
DSL Implementation in MetaOCaml, Template Haskell, and C++
Domain-Specific Program Generation, 2004
Metacomputation-Based Compiler Architecture
Lecture Notes in Computer Science, 2000
Static Data Structures: Reconciling Template Metaprogramming and Generic Programming
Functional Programming Using the New C++ Standard
Journal of Economic Development, Environment and People, 2015
2000
Preprocessing C++ : Meta-Class Aspects
2000
C++ templates as partial evaluation
Proceedings of PEPM
A Principled, Complete, and Efficient Representation of C++
Mathematics in Computer Science, 2011
Lecture Notes in Computer Science, 2002
An Expression Processor: A Case Study in Refactoring Haskell Programs
Lecture Notes in Computer Science, 2011
An Extension to the Subtype Relationship in C++ Implemented with Template Metaprogramming
István Zólyomi, Tamas Kozsik, Zoltán Porkoláb
Lecture Notes in Computer Science, 2003
Compilation as Metacomputation: Binding Time Separation in Modular Compilers (Extended Abstract)
1998
Compilation as metacomputation: Binding time separation in modular compilers
2000
Preprocessing C++ : Substitution and Composition
2000
Building Compilers by Combining Algebras
12th IEEE International Conference and Workshops on the Engineering of Computer-Based Systems (ECBS'05), 2005
Object-oriented symbol management in syntax-directed compiler systems
ACM SIGPLAN Notices, 1999
Weaving a way past the C++ one definition rule
Proceedings of the Aspect- …, 1999
A Functional Implementation of the Formal Template Language
2009
Object-oriented preprocessor fit for C++
IEE Proceedings - Software, 2000
Towards Modular Compilers for Effects
TFP 2011
Concepts (linguistic support for generic programming in C++)
Proceedings of the 21st Annual Acm Sigplan Conference, 2006
Visualization of C++ Template Metaprograms
Zoltan Borok-nagy, Zoltán Porkoláb
2010 10th IEEE Working Conference on Source Code Analysis and Manipulation, 2010
Towards Certified Meta-Programming with Typed Template-Coq
Interactive Theorem Proving, 2018
Reusable Monadic Semantics of Object Oriented Programming Languages
2000
Generating safe template languages
2009
Pick'n'Fix: Capturing Control Flow in Modular Compilers
TFP 2014
Two for the Price of One: Composing Partial Evaluation and Compilation
SIGPLAN Notices (ACM Special Interest Group on Programming Languages), 1997
Grisette: Symbolic Compilation as a Functional Programming Library
Proceedings of the ACM on Programming Languages
Towards soundness examination of the C++ standard template library