P. Wadler's scientific contributions

Citations

... Implicit state machines bear some similarity to state monads in functional programming [36]. From the programmer's perspective, there are three main differences: (1) state monads require programmers to thread-through the state explicitly in the program, while there is no such requirement for implicit state machines; (2) state monads do not allow programmers to specify the initial state in a decentralized way; (3) composing two state monads incurs overhead, while compositionability is a feature of implicit state machines. ...