conf.researchr.org / Jan-Oliver Kaiser
Registered user since Fri 8 Sep 2023
Name:Jan-Oliver Kaiser
Country:Germany
Affiliation:BedRock Systems, MPI-SWS
GitHub: https://github.com/janno
Research interests:PL, Dependent Types, Metaprogramming, Tactic Languages
Contributions