Statistics
Publications
2
Citations
48
H-Index
2
Active since
2018
Affiliations
Saarland University(Current)
Jonas Kaiser is an author at Saarland University specializing in programming languages, computing, and computer science.
Publications per year
2018–2019
2
2
Binder aware recursion over well-scoped de Bruijn syntax
Jonas Kaiser, Steven Schäfer, Kathrin Stark · 2018 · 11 citations
1–2 of 2