Lukas Stevens

Type Annotations with Roundtrip Property

by Kevin Kappelmann, Maximilian Schäffeler, Lukas Stevens, Mohammad Abdulaziz, Andrei Popescu and Dmitriy Traytel

A Verified Reduction Algorithm from MLSSmf to MLSS

by Yiran Duan and Lukas Stevens

MLSS Decision Procedure

by Lukas Stevens

Verification of Query Optimization Algorithms

by Lukas Stevens and Bernhard Stöckl

Order Extension and Szpilrajn's Extension Theorem

by Peter Zeller and Lukas Stevens