Helmut Grohne

According to our database, Helmut Grohne authored at least 2 papers between 2014 and 2017.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2017

Formalizing semantic bidirectionalization and extensions with dependent types.

Helmut Grohne, Janis Voigtländer

J. Log. Algebraic Methods Program., 2017

2014

Formalizing Semantic Bidirectionalization with Dependent Types.

Helmut Grohne, Andres Löh, Janis Voigtländer

Proceedings of the Workshops of the EDBT/ICDT 2014 Joint Conference (EDBT/ICDT 2014), 2014