a-formal-tool-for-ecmascript-memory-model-evaluation
a-reference-architecture-for-web-browsers
adaptive-parallelism-in-browsers
automated-reasoning-for-web-page-layout
checking-correctness-of-typeScript-interfaces-for-javaScript-libraries
comonads-for-user-interfaces
dynamic-analysis-for-javaScript-code
fast-and-precise-hybrid-type-inference-for-javascript
fundamental-concepts-in-programming-languages
generation-of-typeScript-declaration-files-from-javascript-code
gradual-typing-a-new-perspective
gradual-typing-as-if-types-mattered
how-statically-typed-functional-programmers-write-code
how-statically-typed-functional-programmers-write-code.pdf
javascript-static-analysis-for-evolving-language-specifications
javascript-the-first-20-years
of-javascript-aot-compilation-performance
optimization-coaching-for-javascript
parallelizing-the-web-browser
safe-and-efficient-gradual-typing-for-typescript
to-type-or-not-to-type-quantifying-detectable-bugs-in-javascript
what-every-compiler-writer-should-know-about
why-are-web-browsers-slow-on-smartphones
Folders and files Name Name Last commit message
Last commit date
parent directory Apr 15, 2022
Apr 15, 2022
View all files
How statically typed functional programmers write code
You can’t perform that action at this time.
