×
Author ID: wehr.stefan Recent zbMATH articles by "Wehr, Stefan"
Published as: Wehr, Stefan; Wehr, S.
Documents Indexed: 7 Publications since 2007
Co-Authors: 3 Co-Authors with 6 Joint Publications
54 Co-Co-Authors

Publications by Year

Citations contained in zbMATH Open

5 Publications have been cited 8 times in 6 Documents Cited by Year
The interaction of contracts and laziness. Zbl 1360.68325
Degen, Markus; Thiemann, Peter; Wehr, Stefan
2
2012
Eager and delayed contract monitoring for call-by-value and call-by-name evaluation. Zbl 1204.68071
Degen, Markus; Thiemann, Peter; Wehr, Stefan
2
2010
A dictionary-passing translation of Featherweight Go. Zbl 1520.68020
Sulzmann, Martin; Wehr, Stefan
2
2021
Semantic preservation for a type directed translation scheme of Featherweight Go. Zbl 07705362
Sulzmann, Martin; Wehr, Stefan
1
2022
On the decidability of subtyping with bounded existential types and implementation constraints. Zbl 1251.68075
Wehr, Stefan; Thiemann, Peter
1
2011
Semantic preservation for a type directed translation scheme of Featherweight Go. Zbl 07705362
Sulzmann, Martin; Wehr, Stefan
1
2022
A dictionary-passing translation of Featherweight Go. Zbl 1520.68020
Sulzmann, Martin; Wehr, Stefan
2
2021
The interaction of contracts and laziness. Zbl 1360.68325
Degen, Markus; Thiemann, Peter; Wehr, Stefan
2
2012
On the decidability of subtyping with bounded existential types and implementation constraints. Zbl 1251.68075
Wehr, Stefan; Thiemann, Peter
1
2011
Eager and delayed contract monitoring for call-by-value and call-by-name evaluation. Zbl 1204.68071
Degen, Markus; Thiemann, Peter; Wehr, Stefan
2
2010

Citations by Year