Ming Kawaguchi. High-Level Liquid Types. PhD thesis, University of California, San Diego, USA, 2016. [doi]
@phdthesis{us-2703, title = {High-Level Liquid Types}, author = {Ming Kawaguchi}, year = {2016}, url = {https://www.escholarship.org/uc/item/7d8525sz}, researchr = {https://researchr.org/publication/us-2703}, cites = {0}, citedby = {0}, school = {University of California, San Diego, USA}, }