New posts in Type Systems

Why can the Monad interface not be declared in Java?

Is Haskell a strongly typed programming language?

Is C# type system sound and decidable?

Difference between static and dynamic programming languages

Why not be dependently typed?

Binding name in type signature using DataKind

Small and good scala projects to learn scala -- especially functional programming and type system

What does the `#` operator mean in Scala?

What are some compelling use cases for dependent method types?

Is it possible to place inequality constraints on haskell type variables?