skip to main content

Derek Dreyer

Programming languages, type systems, semantics, separation logic, Rust, Iris
Skip slideshow
Reflects downloads up to 24 Dec 2024Bibliometrics

Subject Areas

Published Items by Year

Keywords

Colleague Collaboration

Author’s Latest Publications

Most Popular