Thank you! I'll try and grok the papers - they should be useful all the same!
Cheers, Timmy On Wed, Aug 19, 2020 at 10:41 AM gmhwxi <[email protected]> wrote: > > I don't feel that you need much of a theoretical background. > > If you do want to dive into the theory behind ATS, here are a list of > relevant papers: > > http://www.ats-lang.org/Papers.html > > On Monday, August 17, 2020 at 12:34:06 AM UTC-4, Timmy Jose wrote: >> >> >> Hello, >> >> I've been working through the first ATS tutorial (An introduction to >> programming in ATS), and have finished books 1 & 2. I just started book 3 >> (dependent types), and the going has become a bit slow (not too much, but >> sufficiently slow). >> >> I realise that I lack the theoretical background needed for quite a few >> topics that follow. I was just wondering if someone could recommend >> approachable resources to supplement my learning for this part? >> >> Thanks! >> >> Timmy >> > -- > You received this message because you are subscribed to a topic in the > Google Groups "ats-lang-users" group. > To unsubscribe from this topic, visit > https://groups.google.com/d/topic/ats-lang-users/Vgo-ysEayyo/unsubscribe. > To unsubscribe from this group and all its topics, send an email to > [email protected]. > To view this discussion on the web visit > https://groups.google.com/d/msgid/ats-lang-users/d7abc806-689c-490c-b3c6-f52d9ac480e1o%40googlegroups.com > <https://groups.google.com/d/msgid/ats-lang-users/d7abc806-689c-490c-b3c6-f52d9ac480e1o%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 view this discussion on the web visit https://groups.google.com/d/msgid/ats-lang-users/CAHrON4V12%2BwOfnXiv24ke9bynbBZf1uOpjfx90PAXxVe7ueHog%40mail.gmail.com.
