[Haskell] Scottish Category Theory Seminar

*** Scottish Category Theory Seminar *** First Meeting *** Friday 27 November 2009, 2pm *** University of Glasgow, Scotland Dear All, We are pleased to

Re: category theory

Alan Wood: ... > On another point ... I assume *someone* out there must have re-written the ML > code from Rydeheard and Burstall's 'Computational Category Theroy' in Haskell - > even if only partially. If you have, I'd welcome a copy of the code. > > Alan > > -- > Dr A.M. Wood

Re: category theory

On 15-Oct-1998, Hans Aberg <[EMAIL PROTECTED]> wrote: > At 17:25 +1000 98/10/15, David Glen JEFFERY wrote: > >Does something like this exist? FWIW, I'm using Hugs 1.4 > > I gather that "FWIW" is yet another SSMA; what does it mean? For What It's Worth. Okay... I'll bite. What's SSMA? Anyhow

Re: category theory

>On 15-Oct-1998, Hans Aberg <[EMAIL PROTECTED]> wrote: >> I gather that "FWIW" is yet another SSMA; what does it mean? At 01:22 +1000 98/10/16, David Glen JEFFERY wrote: > >For What It's Worth. Okay... I'll bite. What's SSMA? some such meaningless acronym Hans Aberg *

Re: category theory

cs under my belt rather than >skipping ahead hear. What is a good place to start learning the >basics of category theory, monads, and algebra (as in algebraic types not >high school math) for use in a programming context? Books? Papers? >Websites? I encourage you to acquire some fam

Re: category theory

and > Parsing paper. > > It strikes me that I should just get the basics under my belt rather than > skipping ahead hear. What is a good place to start learning the > basics of category theory, monads, and algebra (as in algebraic types not > high school math) for use in a programmi

Re: category theory

At 18:27 +0900 98/10/15, Frank Christoph wrote: >I encourage you to acquire some familiarity with a related field first, e.g., >universal algebra, topology or even type theory or logic, since category >theory is very abstract stuff ("abstract nonsense" is a commonly cited >

Re: category theory

At 17:25 +1000 98/10/15, David Glen JEFFERY wrote: >Does something like this exist? FWIW, I'm using Hugs 1.4 I gather that "FWIW" is yet another SSMA; what does it mean? Hans Aberg * Email: Hans Aberg * Home Page:

Re: category theory

Re: category theory --- S. Alexander Jacobson wrote: | What is a good place to start learning the | basics of category theory, monads, and algebra (as in algebraic types not | high school math) for use in a programming context? Books? Papers? | Websites? I've found most attractive account

Re: category theory

g and | Parsing paper. | | It strikes me that I should just get the basics under my belt rather than | skipping ahead hear. What is a good place to start learning the | basics of category theory, monads, and algebra (as in algebraic types not | high school math) for use in a programming co

category theory

than skipping ahead hear. What is a good place to start learning the basics of category theory, monads, and algebra (as in algebraic types not high school math) for use in a programming context? Books? Papers? Websites? -Alex-