Daisuke Kimura

A typed lambda-calculus with first-class configurations

2022 · Journal of Logic and Computation

Abstract Filinski and Griffin have independently succeeded in extending the formulae-as-types notion to deal with continuations. Whereas Griffin adopted control operators primitively, Filinski adopted the duality of functions to construct a symmetric lambda-calculus in which …