Login / Signup

A Substructural Type System for Delimited Continuations.

Oleg KiselyovChung-chieh Shan
Published in: TLCA (2007)
Keyphrases
  • real time
  • multiscale
  • information systems
  • website
  • training data
  • pattern recognition