Tag type-theory - Dies ist Seite 1 - GeneraCodice

How can quotient types help safely expose module internals?

https://www.generacodice.com/de/articolo/13626157/how-can-quotient-types-help-safely-expose-module-internals
  functional-programming  -  haskell  -  type-systems  -  type-theory
StackOverflow StackOverflow

OCaml passing labeled function as parameter / labeled function type equivalence

https://www.generacodice.com/de/articolo/11553947/ocaml-passing-labeled-function-as-parameter-labeled-function-type-equivalence
  functional-programming  -  ocaml  -  type-theory
StackOverflow StackOverflow

Is parametric polymorphism the same as dispatching on arity?

https://www.generacodice.com/de/articolo/9299793/is-parametric-polymorphism-the-same-as-dispatching-on-arity
  types  -  programming-languages  -  type-theory
StackOverflow StackOverflow

What is an Isabelle/HOL subtype? What Isar commands produce subtypes?

https://www.generacodice.com/de/articolo/7541844/what-is-an-isabelle-hol-subtype-what-isar-commands-produce-subtypes
  types  -  type-theory  -  subtype  -  isabelle  -  isar
StackOverflow StackOverflow

Singleton types in Haskell

https://www.generacodice.com/de/articolo/7350070/singleton-types-in-haskell
  haskell  -  type-theory  -  dependent-type  -  singleton-type
StackOverflow StackOverflow

What's the absurd function in Data.Void useful for?

https://www.generacodice.com/de/articolo/5785975/what-s-the-absurd-function-in-data-void-useful-for
  haskell  -  type-theory  -  curry-howard
StackOverflow StackOverflow

What is the relationship between recursion and proof by induction?

https://www.generacodice.com/de/articolo/4355664/what-is-the-relationship-between-recursion-and-proof-by-induction
  recursion  -  type-theory  -  induction
StackOverflow StackOverflow

Does C++11 support types recursion in templates?

https://www.generacodice.com/de/articolo/4177350/does-c-11-support-types-recursion-in-templates
  c++  -  types  -  type-theory  -  c++11
StackOverflow StackOverflow

Function which generically takes a type and returns the same type

https://www.generacodice.com/de/articolo/4075130/function-which-generically-takes-a-type-and-returns-the-same-type
  generics  -  collections  -  functional-programming  -  scala  -  type-theory
StackOverflow StackOverflow

Type theory: type kinds

https://www.generacodice.com/de/articolo/3016261/type-theory-type-kinds
  types  -  haskell  -  programming-languages  -  scala  -  type-theory
StackOverflow StackOverflow
Gefundene Ergebnisse: 484
scroll top