Typed quote/antiquote or: Compile-time parsing

DOI10.1017/S0956796811000050zbMath1216.68069OpenAlexW2023463386MaRDI QIDQ3016212

Ralf Hinze

Publication date: 14 July 2011

Published in: Journal of Functional Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1017/s0956796811000050

Mathematics Subject Classification ID

Theory of programming languages (68N15) Functional programming and lambda calculus (68N18)

Uses Software

• Haskell

Cites Work

• Unnamed Item
• THEORETICAL PEARLS

This page was built for publication: Typed quote/antiquote or: Compile-time parsing