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  3540 reads

Browse archivesActive forum topics 
Recent comments
6 hours 9 min ago
7 hours 5 min ago
21 hours 29 min ago
21 hours 47 min ago
21 hours 51 min ago
2 days 18 hours ago
3 days 4 hours ago
3 days 10 hours ago
3 days 11 hours ago
3 days 18 hours ago