ThatGeoGuy - Book review: The Little Typer : vimarsana.com

A book review of my journey through dependent typing.

Related Keywords

David Thrane Christiansen , Danielp Friedman , Chapters , Little Typer , David Thrane , Little Schemer , Book Review , Scheme , Pie , Racket , Types , Dependent Types , ,