Lambda the Ultimate

inactiveTopic Designing and Using Combinators
started 12/23/2002; 12:29:06 PM - last post 1/1/2003; 2:40:40 PM
Ehud Lamm - Designing and Using Combinators  blueArrow
12/23/2002; 12:29:06 PM (reads: 2196, responses: 1)
Designing and Using Combinators
Useful teaching materials from John Hughes.

Most of the papers mentioned were discussed here in one way or another, but there are also lecture slides and exercises.


Posted to functional by Ehud Lamm on 12/23/02; 12:30:41 PM

Ehud Lamm - Re: Designing and Using Combinators  blueArrow
1/1/2003; 2:40:40 PM (reads: 438, responses: 0)
I remember vaguely that one of the papers we discussed about deriving programs from specifications had a nice discussion about proving consistency/completeness of the algebraic laws. Does this sound familiar? I can't seem to locate that paper.