Publications

Results 1-3 of 3 (Search time: 0.004 seconds).

Issue DateTitleAuthor(s)RelationscopusWOSFulltext/Archive link
12021Not by Equations Alone: Reasoning with Extensible EffectsOleg Kiselyov; Shin-Cheng Mu ; Amr SabryJournal of Functional Programming 31, e2
22019Handling local state with global stateKoen Pauwels; Tom Schrijvers; Shin-Cheng Mu 
3-The lawful marriage of monads and effectsOleg Kiselyov; Shin-Cheng Mu ; Amr Sabry