I am posting this as an individual member of the Scheme community. I am not speaking for the R6RS editors, and this message should not be confused with the editors' eventual formal response.
Matthias Felleisen wrote: > Denotational semantics isn't executable. An operational semantics > approximating the enumeration behavior of denotational semantics is. Was I too charitable? > I also suspect that most people know that I have done some serious > work on both and others can find out. I have never implied otherwise. Will _______________________________________________ r6rs-discuss mailing list [email protected] http://lists.r6rs.org/cgi-bin/mailman/listinfo/r6rs-discuss
