Cited By
View all- TANG WSCHRIJVERS T(2025)From high to low: Simulating nondeterminism and state with stateJournal of Functional Programming10.1017/S095679682400013334Online publication date: 3-Jan-2025
- Seynaeve WPauwels KSchrijvers T(2020)State Will doTrends in Functional Programming10.1007/978-3-030-57761-2_10(204-225)Online publication date: 18-Aug-2020
- Devriese DEisenberg R(2019)Modular effects in Haskell through effect polymorphism and explicit dictionary applications: a new approach and the μVeriFast verifier as a case studyProceedings of the 12th ACM SIGPLAN International Symposium on Haskell10.1145/3331545.3342589(1-14)Online publication date: 8-Aug-2019
- Show More Cited By