Comment by pjmlp

Sitecore, Unity, SAP, Spotify, Nokia, Larian Studios...

European universities => SIMULA, Prolog, OCaml, Modula-2, Pascal, Coq, Agda, Miranda, F#, Java Generics, .NET Generics, Scala...