Linear continuation-passing
type: Item
instance of: scholarly article
title: Linear continuation-passing
zbMATH Open document ID: 1030.68011
DOI: 10.1023/A:1020891112409
author: Josh Berdine
author: Peter W. O'Hearn
author: Uday S. Reddy
author: Hayo Thielecke
published in: Higher-Order and Symbolic Computation
publication date: 2003-05-14T00:00:00Z
Mathematics Subject Classification ID: 68N15
Mathematics Subject Classification ID: 68N17
zbMATH DE Number: 1909835
zbMATH Keywords: continuations
zbMATH Keywords: continuation-passing style
zbMATH Keywords: linear typing
zbMATH Keywords: \texttt{call/cc}
zbMATH Keywords: exceptions
zbMATH Keywords: \texttt{goto}
zbMATH Keywords: coroutines
MaRDI profile type: Publication
full work available at URL: a:1020891112409
OpenAlex ID: W2099554648
description: scientific article; zbMATH DE number 1909835