JavaScript programming language [Google Scholar] [Wikipedia] Notes: Papers: bodin:popl:2014 Papers related to JavaScript programming language A trusted mechanised JavaScript specification [bodin:popl:2014]
