| Paradigms | constraint programming, imperative programming, functional programming, concurrent computing |
|---|---|
| Typing discipline | static typing, inference typing, strong typing |
| First appeared | 2000 |
| Developer | Saarland University |
| Type | functional programming language, constraint programming language, programming language, concurrent programming language |
| Influenced by | Oz, ML |
| License | MIT License |
| Website | ps.uni-saarland.de |
Sources: Wikidata (CC0) · Wikidata Q1136926
Programming languages · 1
| Language | Paradigms | First appeared | Developer |
|---|---|---|---|
| Pure | declarative programming, functional programming | 2008 | — |