Flow

MaRDI QIDQ42826swMATHFDO

Official website https://flow.org/

Source code repository https://github.com/facebook/flow

Cited in

(11)

• Preemptive type checking
• JavaScript
• gradualizerDynamicSemantics
• TypeScript
• Sage
• DLTPy
• Hack
• mypy
• GATEKEEPER
• Starkiller
• Parameterized cast calculi and reusable meta-theory for gradually typed lambda calculi

This page was built for software: Flow