GeistHaus
log in ยท sign up

Formalizing Rust

ralfj.de

My current research project โ€“ and the main topic of my PhD thesis โ€“ is about developing a semantic model of the Rust programming language and, most importantly, its type system. Rust is an ...

1 page links to this URL