Stefan Wehr

Available identifiers

zbMath Open wehr.stefanMaRDI QIDQ526444

List of research outcomes

Publication	Date of Publication	Type
A type-directed, dictionary-passing translation of method overloading and structural subtyping in Featherweight Generic Go	2023-12-11	Paper
Semantic preservation for a type directed translation scheme of Featherweight Go	2023-06-30	Paper
A Dictionary-Passing Translation of Featherweight Go	2023-03-29	Paper
The interaction of contracts and laziness	2017-05-15	Paper
On the decidability of subtyping with bounded existential types and implementation constraints	2012-11-16	Paper
Eager and delayed contract monitoring for call-by-value and call-by-name evaluation	2010-10-22	Paper

Research outcomes over time

This page was built for person: Stefan Wehr