第 1 到 3 筆結果，共 3 筆。
| 公開日期 | 題名 | 作者 | 關聯 | scopus | WOS | 全文 | |
|---|---|---|---|---|---|---|---|
| 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 |
