how about a book

23 views
Skip to first unread message

Vlad Patryshev

unread,
May 12, 2012, 12:07:14 PM5/12/12
to ba...@googlegroups.com
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

unread,
May 12, 2012, 2:27:13 PM5/12/12
to ba...@googlegroups.com
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

unread,
May 12, 2012, 6:24:25 PM5/12/12
to ba...@googlegroups.com, ba...@googlegroups.com
Do you guys think it is a suitable introductory text?

Arthur :: LittleBrick

Vlad Patryshev

unread,
May 14, 2012, 1:15:49 AM5/14/12
to ba...@googlegroups.com
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

unread,
May 14, 2012, 3:14:29 AM5/14/12
to Bay Area Categories And Types

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

unread,
May 14, 2012, 4:51:48 PM5/14/12
to ba...@googlegroups.com
Hmm... not sure whether I remember what is it about, Jeremy Gibbons chapter.

Thanks,
-Vlad


David Espinosa

unread,
May 14, 2012, 9:13:16 PM5/14/12
to ba...@googlegroups.com

> 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.


Reply all
Reply to author
Forward
0 new messages