[r6rs-discuss] Re: operational or denotational semantics?

From: John Cowan <cowan>
Date: Sun Feb 25 23:50:53 2007

Matthias Felleisen scripsit:

> Worse, the first ones for store-based languages
> were faulty. (The proofs not the theorems.)

"Almost all theorems are true, but almost all proofs have bugs."
        --Paul Pedersen

-- 
All Norstrilians knew what laughter was:        John Cowan
it was "pleasurable corrigible malfunction".    cowan_at_ccil.org
        --Cordwainer Smith, Norstrilia

Received on Sun Feb 25 2007 - 23:50:47 UTC