Erasing Existentials

Data types à la carte (2008)

A bidirectional typechecking puzzle in the Grace programming language

Bidirectional Typechecking That Does Not Stop

Extraordinary Ordinals

Introducing ArkTS, Huawei’s Next-Generation Development Language

Bournegol??? (2014)

minc — A minimal language for building native software

A little comparison between R and Kap

One week of view_types