Typed syntactic meta-programming

DOI10.1145/2500365.2500575zbMath1323.68109OpenAlexW2156830909MaRDI QIDQ5244790

Dominique Devriese, Frank Piessens

Publication date: 30 March 2015

Published in: Proceedings of the 18th ACM SIGPLAN international conference on Functional programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1145/2500365.2500575

zbMATH Keywords

dependent typesmeta-programmingtacticsdatatype-generic programming

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18)

Related Items (4)

Auto in Agda ⋮ Mtac: A monad for typed tactic programming in Coq ⋮ The \textsc{MetaCoq} project ⋮ Extensible and Efficient Automation Through Reflective Tactics

Uses Software

• Coq
• Agda

This page was built for publication: Typed syntactic meta-programming