CPS transformation of beta-redexes
type: Item
instance of: scholarly article
title: CPS transformation of beta-redexes
zbMATH Open document ID: 1182.68045
author: Olivier Danvy
author: Lasse R. Nielsen
published in: Information Processing Letters
publication date: 2009-12-04T00:00:00Z
Mathematics Subject Classification ID: 68N18
zbMATH DE Number: 5642344
zbMATH Keywords: functional programming
zbMATH Keywords: program derivation
zbMATH Keywords: continuation-passing style (CPS)
zbMATH Keywords: plotkin
zbMATH Keywords: fischer
zbMATH Keywords: one-pass CPS transformation
zbMATH Keywords: two-level \(\lambda \)-calculus
zbMATH Keywords: generalized reduction
MaRDI profile type: Publication
full work available at URL: j.ipl.2005.02.002
OpenAlex ID: W2095040554
cites work: The Barendregt cube with definitions and generalised reduction
cites work: Syntactic accidents in program analysis: on the impact of the CPS transformation
cites work: Q4417784
cites work: Representing Control: a Study of the CPS Transformation
cites work: Q2763631
cites work: Higher-order unCurrying
cites work: Notions of computation and monads
cites work: Two-Level Functional Languages
cites work: Call-by-name, call-by-value and the \(\lambda\)-calculus
cites work: Continuations revisited
cites work: Correctness of procedure representations in higher-order assembly language
DOI: 10.1016/J.IPL.2005.02.002
description: scientific article; zbMATH DE number 5642344