Post date: Feb 8, 2009 6:16:53 PM
In this talk, I will explain how linear closures are supported in ATS. In particular, I will present an approach to forming linear lazy values that allows resources held in such values to be freed safely (without support from GC). It is also interesting to observe that linear lazy values greatly reduce the significance of deforestation optimization.
Date: Feb 4, 2009
Speaker: Hongwei Xi
Slides: http://www.ats-lang.org/TUTORIAL/contents/llazy-evaluation.html