David Sabel, Manfred Schmidt-Schauß. A Call-by-Need Lambda Calculus with Scoped Work Decorations. In Wolf Zimmermann, Lukas Alperowitz, Bernd Brügge, Jörn Fahsel, Andrea Herrmann, Anne Hoffmann, Andreas Krall, Dieter Landes, Horst Lichter, Dirk Riehle, Ina Schaefer, Constantin Scheuermann, Alexander Schlaefer, Sibylle Schupp, Andreas Seitz, Andreas Steffens, André Stollenwerk, Rüdiger Weißbach, editors, Gemeinsamer Tagungsband der Workshops der Tagung Software Engineering 2016 (SE 2016), Wien, 23.-26. Februar 2016. Volume 1559 of CEUR Workshop Proceedings, pages 70-90, CEUR-WS.org, 2016. [doi]
Abstract is missing.