• Home
  • Random
  • Recent changes
  • Special pages
  • Community portal
  • Preferences
  • About Wikipedia
  • Disclaimers
Incubator escapee wiki
  • Talk
  • Dark mode
  • Contributions
  • Create account
  • Log in

Category:Type theory

Category Discussion
  • Language
  • Watch
  • History
  • Edit
    • Page information
    • Permanent link
    • What links here

Template:Sister project Template:Cat main Template:CatAutoTOC

Template:AnchorPages in category "Type theory"

The following 37 pages are in this category, out of 37 total.

 

  • Type theory

A

  • Abstract data type
  • Ad hoc polymorphism
  • Algebraic data type

C

  • Calculus of constructions
  • Categorial grammar
  • Composite data type
  • Covariance and contravariance (computer science)
  • Curry–Howard correspondence

D

  • Duck typing

E

  • Effect system

F

  • Function type

I

  • Intuitionistic type theory

L

  • Lambda cube
  • Liskov substitution principle
  • Logical framework

N

  • New Foundations

O

  • Ordered pair

P

  • Polymorphism (computer science)
  • Prototype-based programming

S

  • Setoid
  • Subtyping
  • System F

T

  • Tagged union
  • Tuple
  • Type checking
  • Type conversion
  • Type inference
  • Type safety
  • Type signature
  • Type system
  • Type variable
  • Typed lambda calculus
  • Typing rule

U

  • Unification (computer science)
  • Uniqueness type

V

  • Value (computer science)
Retrieved from "https://zalansite.site/mediawiki/index.php?title=Category:Type_theory&oldid=605368"
Last edited on 22 April 2020, at 19:23
Incubator escapee wiki
  • This page was last edited on 22 April 2020, at 19:23.
  • Privacy policy
  • About Wikipedia
  • Disclaimers