Here is a backup site: http://ats-lang.github.io/EXAMPLE/EFFECTIVATS/
On Tuesday, July 12, 2016 at 7:31:27 PM UTC-4, Martin DeMello wrote: > > is there a mirror somewhere? http://ats-lang.sourceforge.net is down > > martin > > On Tue, Jul 12, 2016 at 7:19 AM, gmhwxi <> wrote: > >> >> I wrote a new article on using linear streams to construct memory-clean >> programs, where being memory-clean means that a program must free every >> byte allocated during its execution before it terminates. Here is the >> link: >> >> http://ats-lang.sourceforge.net/EXAMPLE/EFFECTIVATS/linear-streams/ >> >> I have always hoped that this style of functional programming can be >> applied >> at a very low-level (e.g., for writing device drivers). >> >> Cheers! >> >> --Hongwei >> >> -- >> You received this message because you are subscribed to the Google Groups >> "ats-lang-users" group. >> To unsubscribe from this group and stop receiving emails from it, send an >> email to [email protected]. >> To post to this group, send email to [email protected]. >> Visit this group at https://groups.google.com/group/ats-lang-users. >> To view this discussion on the web visit >> https://groups.google.com/d/msgid/ats-lang-users/22b5d276-904e-4132-b028-4f7ebdb811df%40googlegroups.com >> >> <https://groups.google.com/d/msgid/ats-lang-users/22b5d276-904e-4132-b028-4f7ebdb811df%40googlegroups.com?utm_medium=email&utm_source=footer> >> . >> > > -- You received this message because you are subscribed to the Google Groups "ats-lang-users" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To post to this group, send email to [email protected]. Visit this group at https://groups.google.com/group/ats-lang-users. To view this discussion on the web visit https://groups.google.com/d/msgid/ats-lang-users/3a249202-fe30-4077-87d1-592ac001d52a%40googlegroups.com.
