We're pleased to present Nathan Taylor on Liquid Types. (Read the paper: https://goto.ucsd.edu/~rjhala/liquid/liquid_types.pdf)
![Nathan Taylor on Liquid Type Systems [PWL NYC] | Papers We Love](https://i.ytimg.com/vi/C5PuBeiWaSA/hqdefault.jpg)
We're pleased to present Nathan Taylor on Liquid Types. (Read the paper: https://goto.ucsd.edu/~rjhala/liquid/liquid_types.pdf)