List of research outcomes
This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!
| Publication | Date of Publication | Type |
|---|---|---|
| A type-directed, dictionary-passing translation of method overloading and structural subtyping in Featherweight Generic Go Journal of Functional Programming | 2023-12-11 | Paper |
| Semantic preservation for a type directed translation scheme of Featherweight Go Lecture Notes in Computer Science | 2023-06-30 | Paper |
| A Dictionary-Passing Translation of Featherweight Go | 2023-03-29 | Paper |
| The interaction of contracts and laziness Higher-Order and Symbolic Computation | 2017-05-15 | Paper |
| On the decidability of subtyping with bounded existential types and implementation constraints New Generation Computing | 2012-11-16 | Paper |
| Eager and delayed contract monitoring for call-by-value and call-by-name evaluation The Journal of Logic and Algebraic Programming | 2010-10-22 | Paper |
Research outcomes over time
This page was built for person: Stefan Wehr
