jkoppel / thermometer-continuationsLinks
Examples from our paper "Capturing the Future by Replaying the Past"
☆21Updated 9 months ago
Alternatives and similar repositories for thermometer-continuations
Users that are interested in thermometer-continuations are comparing it to the libraries listed below
Sorting:
- Files for the tutorial "Correct-by-construction programming in Agda" at POPL '19 in Cascais