Syntactic theories in practice
type: Item
instance of: scholarly article
zbMATH Open document ID: 1268.68065
DOI: 10.1016/S1571-0661(04)00297-X
author: Olivier Danvy
author: Lasse R. Nielsen
published in: Electronic Notes in Theoretical Computer Science
publication date: 2013-07-24T00:00:00Z
Mathematics Subject Classification ID: 68N30
Mathematics Subject Classification ID: 68N18
Mathematics Subject Classification ID: 68Q42
zbMATH DE Number: 6190944
MaRDI profile type: Publication
cites work: Representing Control: a Study of the CPS Transformation
cites work: CPS transformation of beta-redexes
cites work: Q3862379
cites work: Call-by-name, call-by-value and the \(\lambda\)-calculus
cites work: Correctness of procedure representations in higher-order assembly language
cites work: From syntactic theories to interpreters: Automating the proof of unique decomposition
full work available at URL: s1571-0661(04)00297-x
OpenAlex ID: W2924126694
title: Syntactic theories in practice
description: scientific article; zbMATH DE number 6190944