Pinboard (earl) https://pinboard.in/u:earl/public/ recent bookmarks from earl a workshop on monads with c++14 (joaquín lópez muñoz) 2015-01-18T17:33:26+00:00 https://github.com/joaquintides/cpp14monadworkshop earlmonads c++ c++14 https://pinboard.in/ https://pinboard.in/u:earl/b:cc82c7fa6f0b/ programming and reasoning with algebraic effects and dependent types (edwin brady) 2014-07-23T00:26:20+00:00 https://edwinb.wordpress.com/2013/03/28/programming-and-reasoning-with-algebraic-effects-and-dependent-types/ earllambda types monads algebraic-effects dependent-types https://pinboard.in/ https://pinboard.in/u:earl/b:1ba508b13ae7/ functors, applicatives, and monads in pictures (aditya bhargava) 2013-04-20T19:01:28+00:00 http://adit.io/posts/2013-04-17-functors,_applicatives,_and_monads_in_pictures.html earlhaskell functors applicatives monads https://pinboard.in/ https://pinboard.in/u:earl/b:a7a41dbdc298/ oregon programming languages summer school: logic, languages, compilation, and verification 2012-09-09T18:05:05+00:00 http://www.cs.uoregon.edu/Activities/summerschool/summer12/curriculum.html earl video coq proofs verification monads types category-theory logic compsci lambda https://pinboard.in/u:earl/b:a344b32e951c/ monads in c++ (bartosz milewski) 2012-02-06T03:59:43+00:00 http://bartoszmilewski.com/2011/07/11/monads-in-c/ earl metaprogramming c++-templates monads haskell c++ https://pinboard.in/u:earl/b:c208ff7b3d68/ a neighborhood of infinity: programming with impossible functions, or how to get along without monads. 2010-01-03T01:32:40+00:00 http://blog.sigfpe.com/2009/11/programming-with-impossible-functions.html earl✕ monads haskell https://pinboard.in/u:earl/b:a5ace871efcd/ a neighborhood of infinity: monads are trees with grafting 2010-01-02T19:15:04+00:00 http://blog.sigfpe.com/2010/01/monads-are-trees-with-grafting.html earl✕ monads https://pinboard.in/u:earl/b:b71ed14d2e68/ winging it (by conor mcbride) 2009-12-16T19:49:00+00:00 http://strictlypositive.org/winging-jpgs/ earltypes monads haskell https://pinboard.in/u:earl/b:e4ebbf1da1eb/ a neighborhood of infinity: you could have invented monads! (and maybe you already have.) 2009-03-05T01:16:39+00:00 http://blog.sigfpe.com/2006/08/you-could-have-invented-monads-and.html earl✕ monads https://pinboard.in/u:earl/b:456d0bd8b308/ monads in 15 minutes: backtracking and maybe 2009-01-27T00:53:44+00:00 http://www.randomhacks.net/articles/2007/03/12/monads-in-15-minutes earl ✓ monads haskell https://pinboard.in/u:earl/b:b6ce90125dec/ a neighborhood of infinity: you could have invented monads! (and maybe you already have.) 2009-01-23T05:10:21+00:00 http://sigfpe.blogspot.com/2006/08/you-could-have-invented-monads-and.html earl✓ monads haskell https://pinboard.in/u:earl/b:e10440586f1b/ a neighborhood of infinity: the mother of all monads 2008-12-26T17:11:21+00:00 http://sigfpe.blogspot.com/2008/12/mother-of-all-monads.html earl ✓ monads continuations haskell lambda https://pinboard.in/u:earl/b:dd47354ef936/ all about monads 2008-12-05T04:10:41+00:00 http://www.haskell.org/all_about_monads/html/index.html earl monads haskell https://pinboard.in/u:earl/b:dd34f7826cca/ monad laws (haskellwiki) 2008-12-05T03:59:37+00:00 http://www.haskell.org/haskellwiki/Monad_laws earl✓ monads haskell https://pinboard.in/u:earl/b:25670c209c65/ Haskell Study Plan 2007-02-16T23:59:25+00:00 http://www.alpheccar.org/en/posts/show/67 earl tutorial haskell monads https://pinboard.in/u:earl/b:45fee34d92d9/ The Essence of the Iterator Pattern (PDF) 2006-04-18T23:36:14+00:00 http://web.comlab.ox.ac.uk/oucl/work/jeremy.gibbons/publications/iterator.pdf earlarticle research lambda monads idiom haskell by:gibbons by:oliveira ✕ filetype:pdf media:document https://pinboard.in/u:earl/b:7fbf679f4218/