A type system for Continuation Calculus. - Herman Geuvers; Wouter Geraedts; Bram Geron; Judith van Stegeren (CL&C, 2014)