Logo Questions Linux Laravel Mysql Ubuntu Git Menu
HTML CSS JAVASCRIPT SQL PYTHON PHP BOOTSTRAP JAVA JQUERY R React Kotlin
 

New posts in type-theory

Function definition by induction principles in Agda

agda type-theory

How to infer coercions?

compiler-construction programming-languages types type-inference type-theory

Why are Java wildcards more powerful than use-site variance?

java generics types type-systems type-theory

Could it be argued that Ada subtypes are equivalent to dependent types?

types ada dependent-type type-theory

Is there an effective way to generate a function given a generic (esp. with monads) type signature in Haskell?

haskell type-theory hindley-milner

f#: encoding even and odd in (inductive) types?

types f# type-theory

RankNTypes and Church numerals

haskell types type-theory higher-rank-types

Is it possible to define a recursive type in Common Lisp?

types common-lisp type-theory

Why does the Agda typechecker crash on this program

typechecking agda type-theory

Types are erased before run time

types compilation type-erasure agda type-theory

OCaml passing labeled function as parameter / labeled function type equivalence

functional-programming ocaml type-theory

Function which generically takes a type and returns the same type

scala generics collections functional-programming type-theory

Does C++11 support types recursion in templates?

c++ types c++11 type-theory

Is this a meaningful generalization of `scan`s for arbitrary ADTs?

haskell category-theory type-theory

Is there a type theory in which the equivalence of identically shaped inductive datatypes is representable?

types coq idris dependent-type type-theory

What is the common supertype of all instances of Kind in Type Theory

scala haskell semantics type-systems type-theory

Is coproduct the same as sum types?

haskell type-theory
Older Entries »