[R6RS] my notes on today's conference call (22 feb 2006)

Michael Sperber sperber at informatik.uni-tuebingen.de
Thu Feb 23 09:22:03 EST 2006


William D Clinger <will at ccs.neu.edu> writes:

>         ask Robby Findler and Jacob Matthews to provide one
>     general sentiment favors small-step operational semantics

Logging a stray factlet: The Findler/Matthews semantics is done with
the PLT Redex infrastructure.  So is Martin Gasbichler's semantics for
macros.

-- 
Cheers =8-} Mike
Friede, Völkerverständigung und überhaupt blabla



More information about the R6RS mailing list