12 citations · 12 across the 1 of their papers we have counts for
2 papers
cs.PL2015★ 12 cited
Experience Report: Developing the Servo Web Browser Engine using Rust
Brian Anderson, Lars Bergstrom, David Herman +5
All modern web browsers - Internet Explorer, Firefox, Chrome, Opera, and Safari - have a core rendering engine written in C++. This language choice was made because it affords the…
cs.PL2011
Dependent Types for JavaScript
Ravi Chugh, David Herman, Ranjit Jhala
We present Dependent JavaScript (DJS), a statically-typed dialect of the imperative, object-oriented, dynamic language. DJS supports the particularly challenging features such as r…