Swierstra, Wouter

Person

Browse all works related to Swierstra, Wouter.

"7" Result

This dissertation is about effects and type theory. Functional programming languages such as Haskell illustrate how to encapsulate side effects using monads. Haskell compilers provide a handful of primitive effectful functions. Programmers can construct larger computations using…