Explore >> Select a destination
|
You are here 
|
plv.mpi-sws.org | ||
| | | | |
www.ralfj.de
|
|
| | | | | Just yesterday, we submitted our paper RustBelt: Securing the Foundations of the Rust Programming Language. Quoting from the abstract: Rust is a new systems programming language that pr... | |
| | | | |
aturon.github.io
|
|
| | | | | ||
| | | | |
blog.sigplan.org
|
|
| | | | | For decades, researchers have syntactically proved type soundness to establish their type system works. This post shows why a semantic notion of type soundness is more appropriate, for covering abs... | |
| | | | |
www.java-tv.com
|
|
| | | This video reveals the long lost secret of how to write readable Java code. Self explaining method names, fluent interfaces, DSLs, helpful frameworks... We are always looking for ways to make our code more readable. But in our quest, we seem to have forgotten something. The most effective way to make any code more readable. | ||
