Hacker News
- Is Sound Gradual Typing Dead? [pdf] http://www.ccs.neu.edu/racket/pubs/popl16-tfgnvf.pdf 93 comments
Linking pages
- Is Sound Gradual Typing Dead? | the morning paper http://blog.acolyer.org/2016/02/05/is-sound-gradual-typing-dead/ 44 comments
- A few cores too many https://prl.khoury.northeastern.edu/blog/2016/08/03/a-few-cores-too-many/ 20 comments
- GitHub - gasche/popl2016-papers: Links to publicly available preprints for the POPL'16 conference https://github.com/gasche/popl2016-papers 12 comments
- A few cores too many http://prl.ccs.neu.edu/blog/2016/08/03/a-few-cores-too-many/ 3 comments
- Gradual Typing Across the Spectrum http://prl.ccs.neu.edu/blog/2016/05/18/gradual-typing-across-the-spectrum/ 0 comments
Related searches:
Search whole site: site:www.ccs.neu.edu
Search title: Is Sound Gradual Typing Dead? [pdf]
See how to search.