how about a book

[Vlad Patryshev]

Please take a look at this: http://www.cs.ox.ac.uk/people/jeremy.gibbons/publications/acmmpc-toc.pdf

I feel like this is the textbook worth reading; any interest in studying this book at BACAT?

Thanks,
-Vlad

[Aaron Culich]

I've got a copy I could bring along to the next BACAT.

> --
> You received this message because you are subscribed to the Google Groups
> "Bay Area Categories And Types" group.
> To post to this group, send email to ba...@googlegroups.com.
> To unsubscribe from this group, send email to
> bacat+un...@googlegroups.com.
> For more options, visit this group at
> http://groups.google.com/group/bacat?hl=en.

[Arthur Chan]

Do you guys think it is a suitable introductory text?

Arthur :: LittleBrick

[Vlad Patryshev]

Aaron, great, good news. Now we have an evidence.

Arthur, let's try to figure out when we meet. Let's have some kind of social meeting this month. Discuss the book, our plans, etc.

Thanks,
-Vlad

[David Espinosa]

Did we finish the Jeremy Gibbons chapter? That looked like a good
starting point. Maybe it's good to try that out before committing to
the whole book? I don't know how excited people are about
calculational programming.

[Vlad Patryshev]

Hmm... not sure whether I remember what is it about, Jeremy Gibbons chapter.

Thanks,
-Vlad

[David Espinosa]

> Hmm... not sure whether I remember what is it about, Jeremy Gibbons chapter.

It's Chapter 5 in the book you're talking about.  It's available from Jeremy's publications page.  Larry sent us a link on March 28th:

  http://www.cs.ox.ac.uk/people/jeremy.gibbons/publications/acmmpc-calcfp.pdf

Anyway, let's start with whatever chapters are available on the net -- that way we'll know that everybody has access.