Programming Languages and Theorem Provers

View the Project on GitHub

JavaScript

Some notes on everything about JavaScript.

The Language

Engines

Wikipedia

Toolchain

Transpiling

Typechecking

Flow: A Static Type Checker For JavaScript

Papers connected to [‘Fast and precise type checking for JavaScrpt’] (https://www.connectedpapers.com/main/e1adb55cb69a9f8b29b0965eaa1a9a29f21f3fda/Fast-and-precise-type-checking-for-JavaScript/graph)

Babel can be used to strip out Flow or Typescript annotations.

How it is used

Models of JavaScript