Markus Degen

Publication Activity (10 Years)

Years Active: 2006-2012
Publications (10 Years): 0

Top Topics

Multiresolution

Human Interaction

Information Seeking

Top Venues

High. Order Symb. Comput.

Publications

Markus Degen, Peter Thiemann, Stefan Wehr
The interaction of contracts and laziness. PEPM (2012)
Markus Degen, Peter Thiemann, Stefan Wehr
The interaction of contracts and laziness. High. Order Symb. Comput. 25 (1) (2012)
Markus Degen, Peter Thiemann, Stefan Wehr
Eager and delayed contract monitoring for call-by-value and call-by-name evaluation. J. Log. Algebraic Methods Program. 79 (7) (2010)
Markus Degen, Peter Thiemann, Stefan Wehr
True Lies: Lazy Contracts for Lazy Languages. GI Jahrestagung (2009)
Annette Bieniusa, Markus Degen, Phillip Heidegger, Peter Thiemann, Stefan Wehr, Martin Gasbichler, Michael Sperber, Marcus Crestani, Herbert Klaeren, Eric Knauel
Htdp and dmda in the battlefield: a case study in first-year programming instruction. FDPE@ICFP (2008)
Markus Degen, Peter Thiemann, Stefan Wehr
Tracking Linear and Affine Resources with Java(X). ECOOP (2007)
Markus Degen
Übersetzen und Optimieren von Simulink Modellen. Softwaretechnik-Trends 26 (2) (2006)