Syntactic Theories in Practice

DOI10.1016/S1571-0661(04)00297-XzbMath1268.68065OpenAlexW2924126694MaRDI QIDQ2841251

Lasse R. Nielsen, Olivier Danvy

Publication date: 24 July 2013

Published in: Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/s1571-0661(04)00297-x

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18) Grammars and rewriting systems (68Q42) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (2)

Unnamed Item ⋮ Syntactic Theories in Practice

Cites Work

• Unnamed Item
• CPS transformation of beta-redexes
• Call-by-name, call-by-value and the \(\lambda\)-calculus
• From syntactic theories to interpreters: Automating the proof of unique decomposition
• Syntactic Theories in Practice
• Representing Control: a Study of the CPS Transformation
• Correctness of procedure representations in higher-order assembly language

This page was built for publication: Syntactic Theories in Practice