F*
F* is a multi-paradigm and functional programming language that first appeared in 2011.
- Paradigms
- Functional, Imperative
- First appeared
- 2011
- Reference
- Wikipedia article
F* is a multi-paradigm and functional programming language that first appeared in 2011.