> The book can be purchased on Amazon for about $50. It's worth it, I believe.

<larrytheliq...@gmail.com> wrote:
> Let's go ahead and go with chapter 5 for this meeting (which was mentioned
> previously). It's self-contained and available online:
> http://www.cs.ox.ac.uk/jeremy.gibbons/publications/acmmpc-calcfp.pdf

> This chapter goes over implicitly defining functions via their universal
> properties (which enables short equational reasoning proofs).
> The content is inspired by category theory, but does not mention it
> explicitly, so during the meeting we can go over what each functional
> programming concept generalizes to in arbitrary categories.

> On Saturday, June 2, 2012 12:48:53 PM UTC-7, vpatryshev wrote:

>> Hi,

>> We will have our next meeting on 6/27, at 7pm, in Engine Yard, San
>> Francisco.

>> This will be our last meeting at Engine Yard: Larry is leaving for... for
>> some time.

>> We agreed to start discussing the book that was mentioned before:

>> Algebaric and Coalgebraic Methods in the Mathematics of Program
>> Construction.

>> This is a collection of articles/tutorials, so there's no need to read it
>> chapter by chapter.
>> Larry will choose his favorite chapter and tell us any time soon.

>> The book can be purchased on Amazon for about $50. It's worth it, I
>> believe.

>> Best regards, and see you soon again,
>> -Vlad

> --
> You received this message because you are subscribed to the Google Groups
> "Bay Area Categories And Types" group.
> To view this discussion on the web visit
> https://groups.google.com/d/msg/bacat/-/FwjJM7aP2kYJ.

> To post to this group, send email to bacat@googlegroups.com.
> To unsubscribe from this group, send email to
> bacat+unsubscribe@googlegroups.com.
> For more options, visit this group at
> http://groups.google.com/group/bacat?hl=en.