Login / Signup
Wouter Geraedts
Publication Activity (10 Years)
Years Active: 2014-2014
Publications (10 Years): 0
Top Topics
Type Checking
Probabilistic Model
Database
Top Venues
CL&C
</>
Publications
</>
Herman Geuvers
,
Wouter Geraedts
,
Bram Geron
,
Judith van Stegeren
A type system for Continuation Calculus.
CL&C
(2014)