Degen, Markus; Thiemann, Peter; Wehr, Stefan The interaction of contracts and laziness. (English) Zbl 1360.68325 High.-Order Symb. Comput. 25, No. 1, 85-125 (2012). MSC: 68N18 68N30 PDFBibTeX XMLCite \textit{M. Degen} et al., High.-Order Symb. Comput. 25, No. 1, 85--125 (2012; Zbl 1360.68325) Full Text: DOI
Wehr, Stefan; Thiemann, Peter On the decidability of subtyping with bounded existential types and implementation constraints. (English) Zbl 1251.68075 New Generation Comput. 29, No. 1, 87-124 (2011). MSC: 68N19 68N30 03B70 PDFBibTeX XMLCite \textit{S. Wehr} and \textit{P. Thiemann}, New Generation Comput. 29, No. 1, 87--124 (2011; Zbl 1251.68075) Full Text: DOI
Degen, Markus; Thiemann, Peter; Wehr, Stefan Eager and delayed contract monitoring for call-by-value and call-by-name evaluation. (English) Zbl 1204.68071 J. Log. Algebr. Program. 79, No. 7, 515-549 (2010). MSC: 68N99 PDFBibTeX XMLCite \textit{M. Degen} et al., J. Log. Algebr. Program. 79, No. 7, 515--549 (2010; Zbl 1204.68071) Full Text: DOI