Linear lambda calculus with non-linear first-class continuations.

Shin-ya Nishizaki

Published in: ICSCA (2017)

Keyphrases

lambda calculus
database
object oriented
higher order
programming language
predicate calculus