Cited By
View all- Boruch-Gruszecki AOdersky MLee ELhoták OBrachthäuser J(2023)Capturing TypesACM Transactions on Programming Languages and Systems10.1145/361800345:4(1-52)Online publication date: 20-Nov-2023
- Ertel SAdam JRink NGoens ACastrillon JEisenberg R(2019)STCLang: state thread composition as a foundation for monadic dataflow parallelismProceedings of the 12th ACM SIGPLAN International Symposium on Haskell10.1145/3331545.3342600(146-161)Online publication date: 8-Aug-2019
- Leijen DEisenberg RVazou N(2018)First class dynamic effect handlers: or, polymorphic heaps with dynamic effect handlersProceedings of the 3rd ACM SIGPLAN International Workshop on Type-Driven Development10.1145/3240719.3241789(51-64)Online publication date: 27-Sep-2018
- Show More Cited By