https://pinboard.in/u:michielbuddingh/public/ recent bookmarks from michielbuddingh 2020-01-20T10:24:34+00:00 https://lexi-lambda.github.io/blog/2020/01/19/no-dynamic-type-systems-are-not-inherently-more-open/ michielbuddingh programming types typing haskell dynamic https://pinboard.in/ https://pinboard.in/u:michielbuddingh/b:cf96b650342c/ 2010-05-03T14:36:52+00:00 http://gitit.net/ michielbuddingh wiki static haskell https://pinboard.in/ https://pinboard.in/u:michielbuddingh/b:6d88d55a7917/ 2010-03-01T06:38:56+00:00 http://okmij.org/ftp/Haskell/ michielbuddingh programming computerscience haskell examples tostudy https://pinboard.in/ https://pinboard.in/u:michielbuddingh/b:8b7deba081be/ 2010-02-23T20:52:19+00:00 http://cgi.cse.unsw.edu.au/~dons/blog/2007/03 michielbuddingh haskell scripting programming https://pinboard.in/ https://pinboard.in/u:michielbuddingh/b:8e5e942fdeb4/ 2009-10-30T20:19:08+00:00 http://homepages.inf.ed.ac.uk/wadler/topics/monads.html michielbuddingh monads programming haskell functional papers https://pinboard.in/u:michielbuddingh/b:8bf66d091d99/