Re: Formal semantics for Dylan?

• To: info-dylan@ai.mit.edu
• Subject: Re: Formal semantics for Dylan?
• From: Giovanni Pensa <menozero@tiscalinet.it>
• Date: Wed, 9 Feb 2000 04:30:04 -0500 (EST)
• Organization: Tiscali Spa
• References: <slrn8a1b6u.j2e.neelk@brick.cswv.com>
• Xref: traf.lcs.mit.edu comp.lang.dylan:11546

>Partly since Dylan is so similar to Scheme, I was wondering if there
>were any pointers or references to papers that formally specify
>Dylan's semantics and type system.

In the AI Repository there's an *old* article:

Tamme D. Bowen and Kelly M. Hall, "Towards a Better Understanding of
Dylan", Laboratory for Applied Logic, University of Idaho

Name:         Dylan's Semantics
Summary:      Incomplete denotational semantics of Dylan
Version:      12-MAY-93

in
http://www.cs.cmu.edu/afs/cs.cmu.edu/project/ai-repository/ai/lang/others/dylan/doc/semantic/
or ted.cs.uidaho.edu:pub/sml/   (not checked)


Then there's a book on formal semantic for OO languages like CLOS.
Some posts ago.

g.

• Re: Formal semantics for Dylan?
• From: Michael Schuerig <schuerig@acm.org>

• Formal semantics for Dylan?
• From: neelk@brick.cswv.com (Neel Krishnaswami)

• Prev: Re: Formal semantics for Dylan?
• Next: Re: Tim Sweeney on Programming Languages
• Index(es):
  • Main
  • Thread