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

Re: mathematical models

To: Qobi@research.nj.nec.com
Subject: Re: mathematical models
From: Matthias Felleisen <matthias@cs.rice.edu>
Date: Wed, 4 Jun 1997 08:32:54 -0500 (CDT)
Cc: rrrs-authors@martigny.ai.mit.edu, hbaker@netcom.com, jgm@cs.cornell.edu, shriram@cs.rice.edu, ramsdell@linus.mitre.org, feeley@iro.umontreal.ca, kelsey@research.nj.nec.com, will@ccs.neu.edu
In-Reply-To: <199706041231.IAA15772@qobi.nj.nec.com> (message from JeffreyMark Siskind on Wed, 4 Jun 1997 08:31:31 -0400)
Reply-To: matthias@rice.edu


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

References:
- Re: mathematical models
  - From: Jeffrey Mark Siskind <qobi@qobi.nj.nec.com>

Prev by Date: Re: mathematical models
Next by Date: Re: mathematical models
Prev by thread: Re: mathematical models
Next by thread: Re: mathematical models
Index(es):
- Date
- Thread