A type system for Continuation Calculus.

Herman Geuvers Wouter Geraedts Bram Geron Judith van Stegeren

Published in: CL&C (2014)

Keyphrases

type checking
database
databases
real time
probabilistic model