Josh Bowden

Software. Industry. Academia.

27 Jul 2016, 21:20

On (Essentially) Coeffects

under type systemsprogramming languages

13 Jul 2016, 06:03

On Polymorphic Row Types

under type systemsprogramming languages

13 Jul 2016, 02:40

Using structural types with a lot of type inference

under type systemsprogramming languagesprotonlang

30 Jun 2016, 10:27

[Reddit] Intersection Types

under type systemsprogramming languageselm

30 Jun 2016, 08:38

Union Types

under type systemsprogramming languagestypescriptceylon