Lambda the Ultimate

inactiveTopic Algebraic Specification: some old history, and new thoughts
started 11/3/2003; 11:59:25 PM - last post 11/4/2003; 11:37:08 AM
Ehud Lamm - Algebraic Specification: some old history, and new thoughts  blueArrow
11/3/2003; 11:59:25 PM (reads: 6269, responses: 2)
Algebraic Specification: some old history, and new thoughts
Eric G. Wagner. 2001.

Another member of the ADJ group talks about the early days.

If you are interested in ADTs, uses of category theory, or formal methods in general, you should find this quite interesting.


Posted to history by Ehud Lamm on 11/4/03; 12:04:44 AM

Frank Atanassow - Re: Algebraic Specification: some old history, and new thoughts  blueArrow
11/4/2003; 9:01:31 AM (reads: 322, responses: 1)
There is some other interesting stuff on Wagner's homepage, including two books in progress. One, "Universal algebra for computer scientists", apparently makes extensive use of Javascript both for examples and in an interactive way.

Ehud Lamm - Re: Algebraic Specification: some old history, and new thoughts  blueArrow
11/4/2003; 11:37:08 AM (reads: 296, responses: 0)
Hey! These were for another post...