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

Compiled Language with Dynamic Typing

programming-languages dynamic-typing compiled type-theory

Free theorems in C++: are templates inherently ignorant and neutral with their objects of unknown types?

c++ templates abstraction type-systems type-theory

Law of excluded middle in Agda

logic agda type-theory

Curry Howard correspondence and equality

haskell authentication functional-programming type-theory curry-howard

What is the difference between IO a and IO (a) in Haskell?

haskell ghc type-theory

Can any additional axiom make Coq Turing complete?

rocq-prover termination type-theory turing-complete totality

How to write "twice" so it can accept "swap" without restricting their type

haskell type-theory

Why is "dict[int, int]" incompatible with "dict[int, int | str]"?

python python-typing 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

Is coproduct the same as sum types?

haskell type-theory
Older Entries »