Write a Blog >>

Registered user since Tue 11 Dec 2018

Name:Simon Spies
Country:Germany
Affiliation:Saarland University

Contributions

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

POPL 2020-profile
View general profile