[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: mathematical models

My remark referred to a language report primarily based on a mathematical
model of the language (and its primary properties). My thesis and my early
papers explain how to construct a mathematical semantics of most of Scheme.
That's not the point. The point is whether we construct models and use them
to explain (hairy) properties of Scheme. The ML2000 community uses its models
to explore what's good and what's bad for the next design. 

-- Matthias