Slides on using linear lists (list_vt) in ATS

Google Group
1

Hi,

You can see some simple and convincing examples of
dependent types and linear types by Kiwamu Okabe:

Metasepi team meeting #17: Invariant captured by ATS's API from Kiwamu Okabe
2

Slide #8 mention use of linear type for memory management (as often). But
it can also help with side effects, mutable data. That’s how I came to this
on my own side, before I knew linear type already exist.Le vendredi 22 août 2014 18:22:42 UTC+2, gmhwxi a écrit :

Hi,

You can see some simple and convincing examples of
dependent types and linear types by Kiwamu Okabe:

Metasepi team meeting #17: Invariant captured by ATS's API | PPT