User loginNavigation 
Continuation calculus
For an introduction, look at the presentation. Details can be found in the paper. You may also experiment with the online evaluator, which has some example programs. In future work, I will describe a scheme to translate functional programs to continuation calculus. I also plan to describe an applicable type system, but the details have yet to be worked out. By bgeron at 20130604 13:22  LtU Forum  previous forum topic  next forum topic  other blogs  3205 reads

Browse archivesActive forum topics 
Recent comments
15 min 41 sec ago
2 hours 9 min ago
6 hours 14 min ago
7 hours 13 min ago
8 hours 40 min ago
8 hours 52 min ago
9 hours 45 min ago
11 hours 20 min ago
12 hours 55 min ago
13 hours 12 min ago