| Paradigms | design by contract, imperative programming, functional programming |
|---|---|
| First appeared | 2009 |
| Developer | K. Rustan M. Leino, Remy Willems, Daniel Matichuk |
| Type | proof assistant, programming language |
Sources: Wikidata (CC0) · Wikidata Q48989398
Programming languages · 1
| Language | Paradigms | First appeared | Developer |
|---|---|---|---|
| F* | functional programming, imperative programming | — | Microsoft Research, Institut National de Recherche en Informatique et en Automatique |