Facts
- Appeared
- 2009
- Languages it influenced
- 1
- Kind
- proof assistant
- Paradigms
- design by contract, functional programming, imperative programming
- Developer
- K. Rustan M. Leino, Remy Willems, Daniel Matichuk
Sources: Wikidata (CC0) · Wikidata Q48989398
Influenced · 1
| Language | Appeared | Paradigms | Type system | Languages it influenced |
|---|---|---|---|---|
| F* | — | functional programming, imperative programming | static typing, dependent typing, refinement typing, inference typing, strong typing | — |