Linear Closures

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