research
∙
02/24/2023
Set-theoretic Types for Erlang
Erlang is a functional programming language with dynamic typing. The lan...
share
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...
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...
research
∙
06/28/2021