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

Google Group
1

Using Lightweight Theorem Proving in an Asynchronous Systems Contexthttp://cs-people.bu.edu/md/nfm2014-danish.pdf

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.

2

What is ltu?On 2 May 2014 17:53, “Raoul Duke” rao...@gmail.com wrote:

somebody post this to ltu :slight_smile:

On Fri, May 2, 2014 at 2:52 PM, Brandon Barker 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.
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
.

–
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/CAJ7XQb7Et32%2BQoqVxLtbpSg%2BCGmjr18YGWdfHp7eDJ_j4LXKKg%40mail.gmail.com
.

3

somebody post this to ltu :-)On Fri, May 2, 2014 at 2:52 PM, Brandon Barker 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.
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.