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
POPL 2024-profile
View general profile
View general profile