Related links
Arjun Guha Joe Gibbs Politz Benjamin S. Lerner Shriram
The essence of the difference is 260. LOC. Page 25. WHY ARE OUR PROOFS MEANINGFUL? Page 26. JavaScript program . JS program. their answer. our answer.
Learn more
The Essence of JavaScript
We explicate the desugaring process that turns JavaScript programs into ones in the core. We demonstrate faithfulness to JavaScript using real-world test suites
Learn more
A Model for Reasoning About JavaScript Promises
by M Madsen 2017 Cited by 64 This paper presents p, a core calculus that captures the essence of ECMAScript 6 promises. Based on p, we introduce the promise graph, a program
Learn more