Stefan Wehr | DeepAI

DeepAI

AI Chat AI Image Generator AI Video AI Music Generator

Featured Co-authors

Martin Sulzmann
11 publications
Annette Bieniusa
7 publications
Albert Schimpf
1 publication

research

∙ 02/24/2023

Set-theoretic Types for Erlang

Erlang is a functional programming language with dynamic typing. The lan...

0 Albert Schimpf, et al. ∙

research

∙ 09/18/2022

A Type-Directed, Dictionary-Passing Translation of Featherweight Generic Go

Featherweight Generic Go (FGG) is a minimal core calculus modeling the e...

0 Martin Sulzmann, et al. ∙

research

∙ 06/20/2022

Semantic preservation for a type directed translation scheme of Featherweight Go

Featherweight Go (FG) is a minimal core calculus that includes essential...

0 Martin Sulzmann, et al. ∙

research

∙ 06/28/2021

A Dictionary-Passing Translation of Featherweight Go

The Go programming language is an increasingly popular language but some...

0 Martin Sulzmann, et al. ∙