Results 1-3 of 3 (Search time: 0.002 seconds).
Issue Date | Title | Author(s) | Relation | scopus | WOS | Fulltext/Archive link | |
---|---|---|---|---|---|---|---|
1 | 2021 | Not by Equations Alone: Reasoning with Extensible Effects | Oleg Kiselyov; Shin-Cheng Mu ; Amr Sabry | Journal of Functional Programming 31, e2 | |||
2 | 2019 | Handling local state with global state | Koen Pauwels; Tom Schrijvers; Shin-Cheng Mu | ||||
3 | - | The lawful marriage of monads and effects | Oleg Kiselyov; Shin-Cheng Mu ; Amr Sabry |