Unifying Synchronous Data and Control Flow in the Lazy Lambda Calculus

Professorship/Faculty: Foundations of Computer Science  
Authors: Aguado, Joaquin ; Mendler, Michael
Responsibility: Joaquín Aguado and Michael Mendler, Marc Pouzet
Title of the compilation: Proceedings of the 23rd Nordic Workshop on Programming Theory, October 26 - 28, 2011, Västerås, Sweden (NWPT 2011) / Paul Pettersson and Cristina Seceleanu (Eds.). - Västerås, Sweden, 2011. - (Technical report 254/2011). - S. 108 - 111
Year of publication: 2011
Language(s): German
Veröff. im Internet: http://www.mrtc.mdh.se/nwpt2011/nwpt11-proceedings.pdf
URL: http://www.mrtc.mdh.se/nwpt2011/nwpt11-proceedi...
Document Type: Contribution to an Articlecollection
URI: https://fis.uni-bamberg.de/handle/uniba/5441
Release Date: 30. April 2014