My books

Functional Design and Architecture

Book page

Pragmatic type level design

Book page