Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Gert Smolka
conf.researchr.org general profile
ICFP 2017 profile
PLDI 2021 profile
POPL 2016 profile
POPL 2017 profile
POPL 2018 profile
POPL 2019 profile
POPL 2020 profile
POPL 2023 profile
Registered user since Mon 24 Apr 2017
Name:
Gert Smolka
Affiliation:
Saarland University
Personal website:
http://www.ps.uni-saarland.de/~smolka/
Contributions
2023
CPP
Author of A Computational Cantor-Bernstein and Myhill’s Isomorphism Theorem in Constructive Type Theory (Proof Pearl) within the CPP 2023-track
2021
HOPL
Author of A history of the Oz multiparadigm language within the Papers-track
2020
CoqPL
Author of A Coq Library of Undecidable Problems within the CoqPL-track
2019
CPP
Author of On Synthetic Undecidability in Coq, with an Application to the Entscheidungsproblem within the CPP 2019-track
2018
CPP
Committee Member in Program Committee within the CPP 2018-track
Author of Large Model Constructions for Second-Order ZF in Dependent Type Theory within the CPP 2018-track
2017
FSCD
Author of Relating System F and λ2: A Case Study in Coq, Abella and Beluga within the FSCD 2017-track
CPP
Author of Equivalence of System F and λ2 in Coq based on context morphism lemmas within the CPP-track
TTT
Author of Equivalence of System F and λ2 in Abella within the TTT-track
2016
CPP
Author of Axiomatic Semantics for Compiler Verification within the CPP-track
Share
x
Mon 27 Oct 19:21
