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 2013-06-04 13:22 | LtU Forum | previous forum topic | next forum topic | other blogs | 4717 reads
|
Browse archives
Active forum topics
|
Recent comments
11 weeks 1 day ago
15 weeks 3 days ago
17 weeks 10 hours ago
17 weeks 10 hours ago
19 weeks 5 days ago
24 weeks 2 days ago
24 weeks 2 days ago
24 weeks 5 days ago
24 weeks 5 days ago
27 weeks 4 days ago