- popl2017-papers: crowd-sourced links to POPL'17 preprints https://github.com/gasche/popl2017-papers 3 comments haskell
Linked pages
- http://arxiv.org/abs/1605.05274 101 comments
- https://strymonas.github.io/ 29 comments
- GitHub - gasche/icfp2016-papers: Link to preprints for ICFP'16 and co-located events https://github.com/gasche/icfp2016-papers 22 comments
- http://www.ccs.neu.edu/home/stchang/pubs/ckg-popl2017.pdf 15 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
- http://www.cs.bham.ac.uk/~pbl/papers/contextiso.pdf 11 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
- [1611.09259] Do be do be do https://arxiv.org/abs/1611.09259 8 comments
- Type Systems as Macros http://www.ccs.neu.edu/home/stchang/popl2017/ 4 comments
- http://adam.chlipala.net/papers/SqlcachePOPL17/SqlcachePOPL17.pdf 3 comments
- [1610.08843] Fencing off Go: Liveness and Safety for Channel-based Programming (extended version) https://arxiv.org/abs/1610.08843 3 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://prg.is.titech.ac.jp/wp-content/uploads/2016/11/CoqPL_2017_paper_15.pdf 0 comments
- https://www.cl.cam.ac.uk/~sd601/papers/mlsub-preprint.pdf 0 comments
- https://lirias.kuleuven.be/bitstream/123456789/555709/1/CoqPL.pdf 0 comments
- GitHub - yallop/popl2015-papers: Accepted papers for POPL 2015 https://github.com/yallop/popl2015-papers 0 comments
- https://arxiv.org/pdf/1607.05443.pdf 0 comments
- [1607.05443] Beginner's Luck: A Language for Property-Based Generators http://arxiv.org/abs/1607.05443 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/popl2017-papers: Link to preprints for POPL'17 and co-located events
See how to search.