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

08 Jul 2016, 23:19

On Mainstream FP

under industryprogramming languagesvideoselm

07 Jul 2016, 01:39

MUMPS Side Note

under programming languages