Christopher Schwaab

Publication Activity (10 Years)

Years Active: 2012-2019
Publications (10 Years): 1

Top Topics

Geometry Theorem Proving

Plan Recognition

Computer Programs

Top Venues

Publications

Christopher Schwaab, Ekaterina Komendantskaya, Alasdair Hill, Frantisek Farka, Ronald P. A. Petrick, Joe B. Wells, Kevin Hammond
Proof-Carrying Plans. PADL (2019)
Christopher Schwaab, Jeremy G. Siek
Modular type-safety proofs in Agda. PLPV (2013)
Christopher Schwaab, Jeremy G. Siek
Modular Type-Safety Proofs using Dependant Types CoRR (2012)