Ratings by cpressey of Type Systems works

Counterexamples in Type Systems

• rating: 2

.

Should Your Specification Language Be Typed?

• rating: 3

.

On Understanding Data Abstraction, Revisited

• rating: 3

.

In Search of Types

• rating: 3

.

Several types of types in programming languages

• rating: 1

.

Unfolding Abstract Datatypes

• rating: 3

.

Initial Algebra Semantics is Enough!

• rating: 1

.

Type and Effect Systems

• rating: 1

.

Abstract Types have Existential Type

• rating: classic

.

A Theory of Type Polymorphism in Programming

• rating: classic

.

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

• rating: 3

.

What is a strictly typed language? - Stack Overflow

• rating: 1

.

Coeffects: The next big programming challenge - Tomas Petricek

• rating: 1

.

Type Constraints · The Programming Languages Laboratory

• rating: 1

.

The algebra (and calculus!) of algebraic data types

• rating: 3

.

What is a type and effect system? - Stack Overflow

• rating: 1

.