DOI10.1017/S0956796812000226zbMath1273.68074MaRDI QIDQ5300699
Dominique Devriese, Frank Piessens
Publication date: 28 June 2013 Published in: Journal of Functional Programming (Search for Journal in Brave) Full work available at URL: https://doi.org/10.1017/s0956796812000226
zbMATH Keywords
abstract grammar; finally tagless
Mathematics Subject Classification ID
68N18: Functional programming and lambda calculus
68Q42: Grammars and rewriting systems
Cites Work