Formalizing Semantic Bidirectionalization with Dependent Types. - Helmut Grohne; Andres Löh; Janis Voigtländer (EDBT/ICDT Workshops, 2014)

Formalizing semantic bidirectionalization and extensions with dependent types. - Helmut Grohne; Janis Voigtländer (J. Log. Algebraic Methods Program., 2017)