A Dictionary-Passing Translation of Featherweight Go

von Sulzmann, Martin
Veröffentlicht in APLAS (19. : 2021 : Chicago, Ill.; Online) Programming languages and systems (2021)

Semantic Preservation for a Type Directed Translation Scheme of Featherweight Go .

von Sulzmann, Martin
Veröffentlicht in MPC (14. : 2022 : Tiflis) Mathematics of program construction (2022)

Type inference with constrained types

von Sulzmann, Martin
Veröffentlicht 1996

Functional and logic programming : 14th International Symposium, FLOPS 2018, Nagoya, Japan, May 9-11, 2018 : proceedings

Veröffentlicht 2018

Special issue on FLOPS 2018

Veröffentlicht 2020-2021

Special issue of selected & extended papers from SBLP 2018

Veröffentlicht 2020-2022