Thinking in FP vs OOP for large scale apps => Re: [plt-scheme] Imperative programming : missing the flow

From: Matthias Felleisen (matthias at
Date: Fri May 18 07:34:58 EDT 2007

On May 18, 2007, at 4:52 AM, Henry Lenzi wrote:

>> The ADJ group (Goguen, Thatcher, Wagner and someone whose name I
>> forgot) started working and writing on algebraic data specifications
>> around 1970.
>> -- Matthias
> That's the reference I have. BTW, IIRC, Goguen's work produced an
> interesting modern programming language, called Maude. Me thinks...

Correct. Goguen produced OBJ * and Meseguer, a collaborator from the  
80s, produced Maude and maintains it. Its a rewriting engine. PLT  
Redex, Robby's tool for modeling languages via a domain-specific  
language, is loosely related. -- Matthias

Posted on the users mailing list.