Justus Matthiesen

According to our database, Justus Matthiesen authored at least 2 papers between 2014 and 2016.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2016

Into the depths of C: elaborating the de facto standards.

Kayvan Memarian, Justus Matthiesen, James Lingard, Kyndylan Nienhuis, David Chisnall, Robert N. M. Watson, Peter Sewell

Proceedings of the 37th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2016

2014

A Dependent Type Theory with Abstractable Names.

Andrew M. Pitts, Justus Matthiesen, Jasper Derikx

Proceedings of the Ninth Workshop on Logical and Semantic Frameworks, with Applications, 2014