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