Helmut Grohne
Author
Alternate name Helmut Grohne
Institution University of Bonn
Past institution University of Bonn
H-index: 1
I10-index:
Works count: 2
Citations count: 2
Formalizing Semantic Bidirectionalization with Dependent Types.
2014 · Helmut Grohne, Andres Löh, et al. · EDBT/ICDT Workshops
Formalizing semantic bidirectionalization and extensions with dependent types
2016 · Helmut Grohne, Janis Voigtländer · Journal of Logical and Algebraic Methods in Programming