Login / Signup
A Substructural Type System for Delimited Continuations.
Oleg Kiselyov
Chung-chieh Shan
Published in:
TLCA (2007)
Keyphrases
</>
real time
multiscale
information systems
website
training data
pattern recognition