Subject: Re: Applications for Category Theory (Yoder)

From: categories <[email-masked]>
Date: Mon, 25 Aug 1997 16:47:00 -0300 (ADT)

Date: Mon, 25 Aug 1997 10:47:09 -0400
From: Philip Wadler <[email-masked]>

You might find Burstall and Rydeheard's book useful -- they
implement much of category theory in Standard ML.  It's published
by Prentice Hall, in the series edited by Tony Hoare.  -- P