X-IronPort-MID: 1850418518
X-SBRS: 5.5
X-BrightmailFiltered: true
X-Brightmail-Tracker: AAAAAQAAA+k=
X-IronPort-AV: i="4.05,81,1146459600"; 
   d="scan'208"; a="1850418518:sNHT14961156"
Date: Tue, 02 May 2006 16:50:25 -0500
From: Sol Swords <sswords@cs.utexas.edu>
X-Accept-Language: en-us, en
To: acl2-mtg@lists.cc.utexas.edu, ham@cs.utexas.edu
Subject: ACL2 seminar
Reply-To: acl2-mtg@lists.cc.utexas.edu
Sender: owner-acl2-mtg@lists.cc.utexas.edu
X-Listprocessor-Version: 8.2.10/020311/17:52 -- ListProc(tm) by CREN
X-SpamAssassin-Status: No, hits=-2.6 required=5.0
X-UTCS-Spam-Status: No, hits=-132 required=200

Hi all,

At tomorrow's ACL2 seminar, Ham Richards will be talking about monads.  
It will be held at 4:00 in ACES 3.116 as usual. 

 - Sol

Here is the abstract for the talk:

/Monad/ is a concept from category theory which has found important 
applications in the programming language Haskell.

In this talk I plan to explain enough about Haskell's type system to 
show how monads are defined. We'll look at several applications of 
monads, including IO (where monads provide a harmonious resolution of 
the conflict between I/O and referential transparency) and the design of 
parsers.

This is an ambitious agenda for a talk of 90 minutes, so we'll just  hit 
the high points. If the talk enables you to decide whether to 
investigate monads further, I'll be satisfied.