- icfp2016-papers: crowd-sourced links to ICFP'16 preprints https://github.com/gasche/icfp2016-papers 7 comments haskell
- icfp2016-papers: crowd-sourced links to ICFP'16 preprints https://github.com/gasche/icfp2016-papers 15 comments ocaml
Linking pages
- GitHub - steshaw/plt: Programming Language Theory λΠ https://github.com/steshaw/plt 35 comments
- GitHub - gasche/icfp2017-papers: Link to preprints for ICFP'17 and colocated events https://github.com/gasche/icfp2017-papers 18 comments
- GitHub - gasche/popl2017-papers: Link to preprints for POPL'17 and co-located events https://github.com/gasche/popl2017-papers 3 comments
Linked pages
- http://research.microsoft.com/en-us/um/people/simonpj/papers/ghc-shake/ghc-shake.pdf 99 comments
- http://www.cl.cam.ac.uk/~sd601/papers/malfunction.pdf 40 comments
- http://research.microsoft.com/en-us/um/people/simonpj/papers/list-comp/applicativedo.pdf 36 comments
- https://www.cl.cam.ac.uk/~jdy22/papers/ocaml-inside-a-drop-in-replacement-for-libtls.pdf 27 comments
- Juniper Programming Language http://www.juniper-lang.org/ 17 comments
- quickfuzz.org http://quickfuzz.org/ 14 comments
- https://www.williamjbowman.com/resources/fabcc-paper.pdf 14 comments
- GitHub - 23Skidoo/popl13-papers-links: An unofficial list of papers accepted to POPL 2013. https://github.com/23skidoo/popl13-papers-links 14 comments
- GitHub - gasche/popl2016-papers: Links to publicly available preprints for the POPL'16 conference https://github.com/gasche/popl2016-papers 12 comments
- GitHub - gasche/icfp2013-papers: List of ICFP'13 accepted papers, with links to preprint or additional information when available https://github.com/gasche/icfp2013-papers#readme 9 comments
- ICFP 2016 - Research Papers - ICFP 2016 http://conf.researchr.org/track/icfp-2016/icfp-2016-papers#event-overview 7 comments
- http://www.ccs.neu.edu/home/gasche/drafts/ml_workshop_2016.pdf 4 comments
- icfp2014-papers/README.md at master · yallop/icfp2014-papers · GitHub https://github.com/yallop/icfp2014-papers/blob/master/readme.md 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
- http://www.juniper-lang.org/publications/juniper_farm_preprint.pdf 3 comments
- http://www.pllab.riec.tohoku.ac.jp/papers/icfp2016UenoOhori-preprint.pdf 2 comments
- [1606.01106] Set-Theoretic Types for Polymorphic Variants http://arxiv.org/abs/1606.01106 0 comments
- http://eric.seidel.io/pub/nanomaly-icfp16.pdf 0 comments
- http://pleiad.dcc.uchile.cl/papers/2016/dagandAl-icfp2016.pdf 0 comments
- http://cs.binghamton.edu/~pdexter1/icfp-haskell2016-paper22.pdf 0 comments
Would you like to stay up to date with Haskell? Checkout Haskell
Weekly.
Related searches:
Search whole site: site:github.com
Search title: GitHub - gasche/icfp2016-papers: Link to preprints for ICFP'16 and co-located events
See how to search.