Write a Blog >>

Registered user since Tue 11 Dec 2018

Name:Simon Spies
Country:Germany
Affiliation:Saarland University

Contributions

CoqPL 2020 A Coq Library of Undecidable Problems
CPP 2020 Undecidability of Higher-Order Unification Formalised in Coq
Show activities from other conferences

POPL 2020-profile
View general profile