Edit Profile (opens in new tab) Wehr, Stefan Co-Author Distance Author ID: 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 Co-Authors 0 single-authored 3 Sulzmann, Martin 3 Thiemann, Peter J. 2 Degen, Markus Serials 1 New Generation Computing 1 Journal of Functional Programming 1 Higher-Order and Symbolic Computation 1 The Journal of Logic and Algebraic Programming Fields 6 Computer science (68-XX) 1 Mathematical logic and foundations (03-XX) 1 Information and communication theory, circuits (94-XX) Publications by Year all cited Publications top 5 cited Publications 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 all cited Publications top 5 cited Publications all top 5 Cited by 10 Authors 4 Wehr, Stefan 2 Sulzmann, Martin 2 Thiemann, Peter J. 1 Ahmed, Amal 1 Degen, Markus 1 Licata, Daniel R. 1 New, Max S. 1 Sabry, Amr 1 Swords, Cameron 1 Tobin-Hochstadt, Sam Cited in 3 Serials 3 Journal of Functional Programming 1 New Generation Computing 1 Higher-Order and Symbolic Computation Cited in 2 Fields 6 Computer science (68-XX) 1 Mathematical logic and foundations (03-XX) Citations by Year