Browse by Authors and Editors
Number of items: 2. 2017Capretta, Venanzio, Hutton, Graham and Jaskelioff, Mauro (2017) Contractive functions on infinite data structures. In: 28th symposium on Implementation and Application of Functional Languages, August 31 - September 2, 2016, Leuven, Belgium. (In Press) 2013Hackett, Jennifer, Hutton, Graham and Jaskelioff, Mauro (2013) The under-performing unfold: a new approach to optimising corecursive programs. In: International Symposium on Implementation and Application of Functional Languages (25th), 28-30 Aug 2013, Nijmegen, Netherlands. |