External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

A Call-by-Need Lambda Calculus with Scoped Work Decorations

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]

Authors

David Sabel

This author has not been identified. Look up 'David Sabel' in Google

Manfred Schmidt-Schauß

This author has not been identified. Look up 'Manfred Schmidt-Schauß' in Google
runs on