laarcnew | comments | discord | tags | ask | show | place | submit | /l/paperslogin
1.
Design and Verification of Secure Systems (1981) (sri.com)
5 points by nickpsecurity to dev security papers acm 457 days ago | 1 comment
2.
Scott’s Supreme Quantum Supremacy FAQ! (scottaaronson.com)
2 points by rain1 to quantum news quantum.computing papers research 195 days ago | discuss
3.
Calculating Correct Compilers 2.0 [pdf] (nott.ac.uk)
by rain1 to papers research programming plt 195 days ago | discuss
4.
ICFP 2019 Research Papers - ICFP 2019 (sigplan.org)
by rain1 to plt programming papers science 296 days ago | discuss
5.
On the Impact of Programming Languages on Code Quality (arxiv.org)
3 points by palish to dev papers study arxiv languages 432 days ago | discuss

Welcome | Guidelines | Bookmarklet | Feature Requests | Source | Contact | Twitter | Lists

RSS (stories) | RSS (comments)

Search: