Skip to content
This repository has been archived by the owner on Feb 28, 2022. It is now read-only.

Update README.md #9

Open
wants to merge 1 commit into
base: master
Choose a base branch
from
Open

Update README.md #9

Changes from all commits
Commits
Show all changes
1 commit
Select commit
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
4 changes: 2 additions & 2 deletions README.md
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -4,7 +4,7 @@ LambdaJS
LambdaJS is small, tested, reduction semantics for JavaScript. For a quick
introduction, see our blog post:

http://brownplt.github.com/2011/09/29/js-essence.html
http://brownplt.github.io/2011/09/29/js-essence.html

For a more technical introduction, see our ECOOP 2010 paper on LambdaJS:

Expand All @@ -30,7 +30,7 @@ Semantics for ECMAScript 5
LambdaJS roughly models ECMAScript 3. The latest version of JavaScript, ECMAScript 5, is considerably more complex, so we decided to develop it from scratch.
The following blog post describes S5, our semantics for ES5:

http://brownplt.github.com/2011/11/11/s5-javascript-semantics.html
http://brownplt.github.io/2011/11/11/s5-javascript-semantics.html

The code for S5 is also available:

Expand Down