Nice and easy to read paper that introduces most merits of ATS

[Brandon Barker]

Using Lightweight Theorem Proving in an Asynchronous Systems Context

It explains the advantages of ATS's linear and dependent types in a clear way, and it does this all through only looking at function interfaces and using the functions, rather than the implementation. For this reason, it may not be a great tutorial, but it may be a very good paper to "sell" someone on looking in to ATS more.

[Raoul Duke]

somebody post this to ltu :-)

> --
> 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 ats-lang-user...@googlegroups.com.
> To post to this group, send email to ats-lan...@googlegroups.com.
> To view this discussion on the web visit
> https://groups.google.com/d/msgid/ats-lang-users/456c4895-e0ab-4e8f-a8f7-add8d2606b0a%40googlegroups.com.

[Brandon Barker]

What is ltu?

To view this discussion on the web visit https://groups.google.com/d/msgid/ats-lang-users/CAJ7XQb7Et32%2BQoqVxLtbpSg%2BCGmjr18YGWdfHp7eDJ_j4LXKKg%40mail.gmail.com.

[Yves Dorfsman]

http://lambda-the-ultimate.org/

On 2014-05-02 16:15, Brandon Barker wrote:
> What is ltu?
>

> On 2 May 2014 17:53, "Raoul Duke" <rao...@gmail.com <mailto:rao...@gmail.com>>

> wrote:
>
> somebody post this to ltu :-)
>
> On Fri, May 2, 2014 at 2:52 PM, Brandon Barker <brandon...@gmail.com
> <mailto:brandon...@gmail.com>> wrote:
> > Using Lightweight Theorem Proving in an Asynchronous Systems Context
> >
> > It explains the advantages of ATS's linear and dependent types in a clear
> > way, and it does this all through only looking at function interfaces and
> > using the functions, rather than the implementation. For this reason,
> it may
> > not be a great tutorial, but it may be a very good paper to "sell" someone
> > on looking in to ATS more.
> >
> > --
> > 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 ats-lang-user...@googlegroups.com

> <mailto:ats-lang-users%2Bunsu...@googlegroups.com>.

> > To post to this group, send email to ats-lan...@googlegroups.com

> <mailto:ats-lan...@googlegroups.com>.

> > To view this discussion on the web visit
> >
> https://groups.google.com/d/msgid/ats-lang-users/456c4895-e0ab-4e8f-a8f7-add8d2606b0a%40googlegroups.com.
>
> --
> 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 ats-lang-user...@googlegroups.com

> <mailto:ats-lang-users%2Bunsu...@googlegroups.com>.

> To post to this group, send email to ats-lan...@googlegroups.com

> <mailto:ats-lan...@googlegroups.com>.

> To view this discussion on the web visit
> https://groups.google.com/d/msgid/ats-lang-users/CAJ7XQb7Et32%2BQoqVxLtbpSg%2BCGmjr18YGWdfHp7eDJ_j4LXKKg%40mail.gmail.com.
>

> --
> 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 ats-lang-user...@googlegroups.com

> <mailto:ats-lang-user...@googlegroups.com>.

> To post to this group, send email to ats-lan...@googlegroups.com

> <mailto:ats-lan...@googlegroups.com>.

> To view this discussion on the web visit

> https://groups.google.com/d/msgid/ats-lang-users/CAORbNRqqY%2BopZ_6j97xOtxEPdELz3s_-h%2BmpjJ5mTDei1xZLvQ%40mail.gmail.com
> <https://groups.google.com/d/msgid/ats-lang-users/CAORbNRqqY%2BopZ_6j97xOtxEPdELz3s_-h%2BmpjJ5mTDei1xZLvQ%40mail.gmail.com?utm_medium=email&utm_source=footer>.


--
Yves.