Hacker News
- She: The Strathclyde Haskell Enhancement https://personal.cis.strath.ac.uk/conor.mcbride/pub/she/ 25 comments
- Perhaps Not The Answer You Were Expecting But You Asked For It https://personal.cis.strath.ac.uk/conor.mcbride/so-pigworker.pdf 14 comments haskell
- Is there a Conor McBride style Indexed Applicative? https://personal.cis.strath.ac.uk/conor.mcbride/Kleisli.pdf 10 comments haskell
- A compendium of Conor McBride's StackOverflow answers https://personal.cis.strath.ac.uk/conor.mcbride/so-pigworker.pdf 21 comments haskell
- Type Inference, Haskell and Dependent Types https://personal.cis.strath.ac.uk/adam.gundry/thesis/thesis-2013-12-03.pdf 13 comments haskell
- Hasochism: The Pleasure and Pain of Dependently Typed Haskell Programming [pdf] https://personal.cis.strath.ac.uk/conor.mcbride/pub/hasochism.pdf 8 comments haskell
- New Paper on Interleaving Data and Effects -- f-and-m algebras ftw. https://personal.cis.strath.ac.uk/robert.atkey/posts/2012-09-06-interleaving-data-and-effects.html 7 comments haskell
- Totality vs. Turing completeness (McBride)[PDF, 35 slides, ±] https://personal.cis.strath.ac.uk/conor.mcbride/pub/totality.pdf 22 comments haskell
- the Frank language manual (McBride) [pdf 7pp] https://personal.cis.strath.ac.uk/conor.mcbride/pub/frank/tfm.pdf 14 comments haskell
- Reasoning about Stream Processing with Effects https://personal.cis.strath.ac.uk/~raa/posts/2012-01-06-streams.html 26 comments haskell
- Reasoning about Stream Processing with Effects http://personal.cis.strath.ac.uk/~raa/posts/2012-01-06-streams.html 3 comments haskell
- Kleisli arrows of outrageous fortune [PDF] http://personal.cis.strath.ac.uk/~conor/kleisli.pdf 4 comments haskell
- Structural recursion http://personal.cis.strath.ac.uk/~raa/posts/2011-04-22-structural-recursion.html 6 comments math
- Structural recursion http://personal.cis.strath.ac.uk/~raa/posts/2011-04-22-structural-recursion.html 12 comments haskell
- The Strathclyde Haskell Enhancement : brackets for applicative functor code http://personal.cis.strath.ac.uk/~conor/pub/she/idiom.html 9 comments haskell
- Foundations for Structured Programming with GADTs :: PDF http://personal.cis.strath.ac.uk/~patricia/popl08.pdf 3 comments haskell
Lambda the Ultimate
- Kleisli Arrows of Outrageous Fortune http://personal.cis.strath.ac.uk/~conor/Kleisli.pdf 6 comments Category Theory , Functional , Type Theory