Ehud Lamm - Re: Designing and Using Combinators
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.