Formal semantics for Dylan?

• To: info-dylan@ai.mit.edu
• Subject: Formal semantics for Dylan?
• From: neelk@brick.cswv.com (Neel Krishnaswami)
• Date: Tue, 8 Feb 2000 19:00:03 -0500 (EST)
• Reply-To: neelk@alum.mit.edu
• Xref: traf.lcs.mit.edu comp.lang.dylan:11544

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.


Neel

• Re: Formal semantics for Dylan?
• From: Giovanni Pensa <menozero@tiscalinet.it>

• Prev: Re: Tim Sweeney on Programming Languages
• Next: Re: Tim Sweeney on Programming Languages
• Index(es):
  • Main
  • Thread