is there a mirror somewhere? http://ats-lang.sourceforge.net is down
martin On Tue, Jul 12, 2016 at 7:19 AM, gmhwxi <[email protected]> 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/CAFrFfuFgoCSQqr1UxqxiH1x4AND_aE5SGOcADL4ep5AKT0-eOQ%40mail.gmail.com.
