ExpertClub
  1. Home
  2. Typing disciplines
  3. nominative typing

nominative typing

27 programming languages
LanguageParadigmsFirst appearedDeveloper
ABAPstructured programming, object-oriented programming, imperative programming1983SAP
Adastructured programming, object-oriented programming, multi-paradigm programming, imperative programming1980Jean Ichbiah, S. Tucker Taft
Agdapurely functional programming2007Chalmers University of Technology
BSASPECmulti-paradigm programming2004Microsoft Research
Cmulti-paradigm programming, imperative programming, structured programming, procedural programming1972Dennis M. Ritchie, Bell Labs, American National Standards Institute, International Organization for Standardization, Ken Thompson
C#object-oriented programming, strict programming, functional programming, event-driven programming, reflective programming, generic programming, structured programming, class-based programming, imperative programming, multi-paradigm programming2001Microsoft
C++object-oriented programming, multi-paradigm programming, functional programming, procedural programming, generic programming1983Bjarne Stroustrup
Carbon—2020Google
Crystalobject-oriented programming, multi-paradigm programming, concurrent computing2014Ary Borenzweig, Manas Technology Solutions
CWEBliterate programming—Donald Knuth
ECgeneric programming, procedural programming, imperative programming, multi-paradigm programming, object-oriented programming2004—
GrGenmulti-paradigm programming2003—
Handel-Cimperative programming2005Mentor Graphics
Haxeobject-oriented programming, multi-paradigm programming, functional programming, generic programming2005Simon Krajewski, Cauê Waneck, Haxe Foudation, Nicolas Cannasse
Javaobject-oriented programming, generic programming, component-based software engineering, concurrent object-oriented programming, class-based programming, imperative programming, structured programming, functional programming, reflective programming1995Sun Microsystems, Oracle Corporation, James Gosling
Juliamulti-paradigm programming, imperative programming, parallel computing, functional programming, multiple dispatch, procedural programming, object-oriented programming, array programming, metaprogramming2009Viral B. Shah, Stefan Karpinski, Alan Edelman, Jeff Bezanson
Lassostructured programming, procedural programming, object-oriented programming, concurrent computing1995—
Nemerlemetaprogramming, object-oriented programming, multi-paradigm programming, imperative programming, procedural programming, functional programming2003JetBrains, University of Wrocław
OpenCLobject-oriented programming, imperative programming, structured programming, generic programming2009Khronos Group
PLEXILmulti-paradigm programming2005—
Polyphonic C#multi-paradigm programming2002Microsoft Research
Rustgeneric programming, concurrent computing, procedural programming, functional programming, imperative programming, object-oriented programming2006Mozilla, Rust Foundation, Graydon Hoare
Seed7imperative programming, object-oriented programming, multi-paradigm programming, generic programming, reflective programming, structured programming2005—
Simulaimperative programming, procedural programming, structured programming, object-oriented programming1962Kristen Nygaard
SPARKprocedural programming1988Altran, University of Southampton
Visual Basic .NETobject-oriented programming, strict programming, class-based programming, multi-paradigm programming, imperative programming, structured programming, functional programming, event-driven programming, reflective programming, generic programming2001Microsoft
Zigimperative programming, functional programming, procedural programming, concurrent computing, generic programming2015Andrew Kelley