- preprint list for ICFP'13 papers (additional links welcome) https://github.com/gasche/icfp2013-papers#readme 9 comments haskell
Linking pages
- GitHub - steshaw/plt: Programming Language Theory λΠ https://github.com/steshaw/plt 35 comments
- GitHub - gasche/icfp2016-papers: Link to preprints for ICFP'16 and co-located events https://github.com/gasche/icfp2016-papers 22 comments
- GitHub - gasche/icfp2017-papers: Link to preprints for ICFP'17 and colocated events https://github.com/gasche/icfp2017-papers 18 comments
- GitHub - gasche/popl2016-papers: Links to publicly available preprints for the POPL'16 conference https://github.com/gasche/popl2016-papers 12 comments
- icfp2014-papers/README.md at master · yallop/icfp2014-papers · GitHub https://github.com/yallop/icfp2014-papers/blob/master/readme.md 3 comments
- GitHub - gasche/popl2017-papers: Link to preprints for POPL'17 and co-located events https://github.com/gasche/popl2017-papers 3 comments
- GitHub - yallop/popl2015-papers: Accepted papers for POPL 2015 https://github.com/yallop/popl2015-papers 0 comments
Linked pages
- http://research.microsoft.com/en-us/um/people/simonpj/papers/ndp/haskell-beats-c.pdf 150 comments
- http://www.cs.indiana.edu/~sabry/papers/exteff.pdf 81 comments
- http://haskell.cs.yale.edu/wp-content/uploads/2013/08/hask035-voellmy.pdf 67 comments
- http://www.leafpetersen.com/leaf/publications/icfp2013/vectorization-haskell.pdf 50 comments
- GitHub - part-cw/lambdanative: LambdaNative is a cross-platform development environment written in Scheme, supporting Android, iOS, BlackBerry 10, OS X, Linux, Windows, OpenBSD, NetBSD, FreeBSD and OpenWrt. https://github.com/part-cw/lambdanative 44 comments
- Private Site https://edwinb.wordpress.com/2013/03/28/programming-and-reasoning-with-algebraic-effects-and-dependent-types/ 28 comments
- http://www.leafpetersen.com/leaf/publications/hs2013/hrc-paper.pdf 19 comments
- http://www.cse.chalmers.se/~joels/writing/bb.pdf 19 comments
- ACM SIGPLAN Haskell Symposium 2013 http://www.haskell.org/haskell-symposium/2013/ 15 comments
- http://www.cs.brandeis.edu/~mairson/Papers/ICFP062-mairson.pdf 12 comments
- http://homepages.inf.ed.ac.uk/slindley/papers/handlers-draft-march2013.pdf 12 comments
- https://personal.cis.strath.ac.uk/conor.mcbride/pub/hasochism.pdf 8 comments
- Productive Coprogramming with Guarded Recursion - Bob Atkey http://bentnib.org/posts/2013-03-29-productive-coprogramming.html 8 comments
- http://www.cse.unsw.edu.au/~chak/papers/mckl13.html 7 comments
- http://www.cse.chalmers.se/~bernardy/namesforfree.pdf 6 comments
- http://www.ittc.ku.edu/csdl/fpg/papers/sculthorpe-13-constrainedmonad.html 5 comments
- http://www.cl.cam.ac.uk/~sd601/papers/semirings.pdf 3 comments
- GitHub - technogeeky/icfp12-paper-links: List of Accepted Papers to ICFP 2012, with Papers (preprints) linked https://github.com/technogeeky/icfp12-paper-links/blob/master/readme.md 3 comments
- https://www.cs.indiana.edu/~dyb/pubs/commercial-nanopass.pdf 0 comments
- http://www.cs.utexas.edu/~bendy/3MT/ 0 comments
Would you like to stay up to date with Haskell? Checkout Haskell
Weekly.