Type Systems

type safety - What is the difference between a strongly typed language and a statically typed language? - Stack Overflow

• url: https://stackoverflow.com/questions/2690544/what-is-the-difference-between-a-strongly-typed-language-and-a-statically-typed#2696369

.

What is a strictly typed language? - Stack Overflow

• url: https://stackoverflow.com/questions/805168/what-is-a-strictly-typed-language

.

Coeffects: The next big programming challenge - Tomas Petricek

• url: http://tomasp.net/blog/2014/why-coeffects-matter/

.

Type Constraints · The Programming Languages Laboratory

• url: https://www.pl.cs.jhu.edu/projects/type-constraints/

collection of papers from an (inactive) research project

The algebra (and calculus!) of algebraic data types

• url: https://codewords.recurse.com/issues/three/algebra-and-calculus-of-algebraic-data-types
• topics: Type Systems, Type Theory, Mathematics

future-topics: Abstract Algebra

What is a type and effect system? - Stack Overflow

• url: https://stackoverflow.com/questions/196465/what-is-a-type-and-effect-system

.