User loginNavigation 
A LanguageBased Approach to Unifying Events and ThreadsA LanguageBased Approach to Unifying Events and Threads
The implementation uses the CPS monad in such a way that the final result is a trace, that is, an ordered sequence of function calls. Threading is part of the basic monad implementation, and a scheduler is as simple as a tree traversal function over a queue of traces. Once you have a scheduler, events are obvious. 
Browse archivesActive forum topics
New forum topics

Recent comments
1 day 15 hours ago
1 day 20 hours ago
2 days 4 hours ago
2 days 13 hours ago
2 days 20 hours ago
3 days 15 hours ago
4 days 22 hours ago
5 days 8 hours ago
5 days 18 hours ago
5 days 21 hours ago