laarcnew | comments | discord | tags | ask | show | place | submit | fromlogin
1.
Vexing exceptions (2008) (microsoft.com)
2 points by August-Garcia to news programming 88 days ago | discuss
2.
Checked C - Microsoft Research (microsoft.com)
3 points by rain1 to formal.verification c plt programming safety 269 days ago | discuss
3.
Automated, Modular, Refinement Reasoning for Concurrent Programs (microsoft.com)
5 points by nickpsecurity to programming math 330 days ago | discuss
4.
Implementing functional languages: A Tutorial (pdf) (microsoft.com)
2 points by nickpsecurity to programming educational classics 342 days ago | 1 comment

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

RSS (stories) | RSS (comments)

Search: