Type systems Articles

Page 1 of 1 (4 Articles)

8/16/2025 • EN

Explores the limitations of the Boolean type in programming and proposes a more expressive type system for logical expressions.

boolean logic programming languages type systems TypeScript

5/8/2020 • EN

An in-depth look at how type system compilers like TypeScript work, focusing on type checks and building a custom compiler.

ast compiler type checking type systems TypeScript

11/7/2014 • EN

A literature review examining empirical studies on the impact of static vs. dynamic typing on software quality, finding mostly small effects.

empirical research programming languages software quality static typing type systems

3/23/2012 • EN

Jonathan Shapiro explains why he stopped developing the BitC programming language, citing design issues and lack of funding.

compiler design language design programming languages type classes type systems

Select Language