Article,

Continuations: A Mathematical Semantics for Handling Full Jumps.

, and .
High. Order Symb. Comput., 13 (1/2): 135-152 (2000)

Meta data

Tags

Users

  • @gron
  • @dblp
  • @gdmcbain

Comments and Reviews