An Introduction to Refinement Types
Channel: Ras Bodik
Date: 2016-03-30

Ranjit Jhala