[[
resources:resources
]]
ES Wiki
Trace:
»
object_initialiser_extensions
»
proposals
»
minutes_jun_21_2006
»
minutes_oct_13_2005
»
resources
Table of Contents
Published specs and papers describing ES4
Background material
Operational semantics
Papers
On gradual and hybrid type systems
Existing Specs and Drafts
Previous Generations
Adobe / Macromedia Drafts
Netscape Drafts
Microsoft Drafts
Published specs and papers describing ES4
Proposed ECMAScript 4th Edition -- Language Overview
. Updated occasonally.
Background material
Operational semantics
Mitch Wand’s quite readable
lecture notes
(see in particular lectures 3 - 6) from his 2004 course
Principles of Programming Languages
Matthias Felleisen and Matthew Flatt’s monograph
Programming Languages and Lambda Calculi
Papers
ValleyScript write-up on like and wrap types
Status Report: Specifying JavaScript with ML
On gradual and hybrid type systems
Unifying Hybrid Types and Contracts
Space Efficient Gradual Typing
http://www.soe.ucsc.edu/~cormac/papers/popl06-hybrid.ps
http://www.soe.ucsc.edu/~cormac/papers/fool06.pdf
http://www.ccs.neu.edu/scheme/pubs/popl06-mff.pdf
Existing Specs and Drafts
Previous Generations
ECMA 262: ECMAScript Edition 3 (.pdf)
Adobe / Macromedia Drafts
ActionScript 3 Draft (.doc)
ECMAScript 4 Draft (.doc)
Netscape Drafts
Waldemar's JS 2.0 Draft
Netscape's revised ES4 Draft
Microsoft Drafts
JScript Conditional Compilation Features (.doc)
(.pdf)
JScript Deviations from ES3 (.pdf)
resources/resources.txt · Last modified: 2007/10/24 09:54 by lars
