| Type | department |
|---|---|
| Country | United States |
| Headquarters | Redmond |
| Founded | 1991 |
| Website | research.microsoft.com |
| Parent organization | Microsoft |
Sources: Wikidata (CC0) · Wikidata Q1144725
Languages · 8
| Language | Paradigms | First appeared |
|---|---|---|
| Bosque | functional programming | 2019 |
| BSASPEC | multi-paradigm programming | 2004 |
| Cω | multi-paradigm programming | 2005 |
| F* | functional programming, imperative programming | — |
| Kodu Game Lab | visual programming language | 2009 |
| Lean | functional programming | 2013 |
| Polyphonic C# | multi-paradigm programming | 2002 |
| Sing# | — | 2005 |
Programming languages · 2
| Language | Paradigms | First appeared | Developer |
|---|---|---|---|
| F# | object-oriented programming, metaprogramming, imperative programming, functional programming, concurrent computing, reflective programming | 2005 | F Sharp Software Foundation, Microsoft |
| Q# | imperative programming, quantum programming, functional programming | 2017 | Microsoft Quantum Architectures and Computation group, Microsoft |
Systems · 1
| Operating system | First release | License |
|---|---|---|
| Verve | — | — |