LTWlanguages & frameworks ltw://type-systems
  1. Home
  2. Type systems
  3. manifest typing

manifest typing

21 programming languages
LanguageAppearedParadigmsLanguages it influenced
Abbreviated Test Language for All Systems1983multi-paradigm programming—
Agda2007purely functional programming1
C1972procedural programming, structured programming, imperative programming, multi-paradigm programming60
C*1987parallel programming, imperative programming, multi-paradigm programming, object-oriented programming—
Cilk1994procedural programming, structured programming, parallel computing, imperative programming2
Cool1996object-oriented programming—
CWEB—literate programming—
Draco—procedural programming, structured programming, imperative programming—
Escher1990functional programming, logic programming, declarative programming—
F—procedural programming, array programming, modular programming—
Fortran1957generic programming, procedural programming, structured programming, imperative programming, array programming, object-oriented programming13
Handel-C2005imperative programming—
Intel Parallel Building Blocks2010imperative programming—
Java1995generic programming, reflective programming, functional programming, structured programming, imperative programming, class-based programming, concurrent object-oriented programming, component-based software engineering, object-oriented programming43
OpenCL2009generic programming, structured programming, imperative programming, object-oriented programming—
Pike1994procedural programming, functional programming, object-oriented programming—
Seed72005generic programming, reflective programming, structured programming, imperative programming, multi-paradigm programming, object-oriented programming—
Speedcoding1953generic programming, procedural programming, structured programming, object-oriented programming1
Split-C1993imperative programming—
Turing1982procedural programming, object-oriented programming—
Unified Parallel C1999parallel computing—