Aguado, JoaquínJoaquínAguadoMendler, MichaelMichaelMendlerPouzet, MarcMarcPouzet2019-09-192014-04-302011https://fis.uni-bamberg.de/handle/uniba/5441engUnifying Synchronous Data and Control Flow in the Lazy Lambda Calculusconferenceobjecthttp://www.mrtc.mdh.se/nwpt2011/nwpt11-proceedings.pdf