Justus Matthiesen

Publication Activity (10 Years)

Years Active: 2014-2016
Publications (10 Years): 1

Top Topics

International Standard

Top Venues

Publications

Kayvan Memarian, Justus Matthiesen, James Lingard, Kyndylan Nienhuis, David Chisnall, Robert N. M. Watson, Peter Sewell
Into the depths of C: elaborating the de facto standards. PLDI (2016)
Andrew M. Pitts, Justus Matthiesen, Jasper Derikx
A Dependent Type Theory with Abstractable Names. LSFA (2014)