2 citations · 2 across the 2 of their papers we have counts for
Showing cs.LOShow all
2 papers · 1 filter
cs.LO2014
A type system for Continuation Calculus
Herman Geuvers, Wouter Geraedts, Bram Geron +1
Continuation Calculus (CC), introduced by Geron and Geuvers, is a simple foundational model for functional computation. It is closely related to lambda calculus and term rewriting,…
cs.LO2013★ 2 cited
Continuation calculus
Bram Geron, Herman Geuvers
Programs with control are usually modeled using lambda calculus extended with control operators. Instead of modifying lambda calculus, we consider a different model of computation.…