%0 Thesis %1 phd/us/Knowles14 %A Knowles, Kenneth L. %D 2014 %K dblp %T Executable Refinement Types.

@phdthesis{phd/us/Knowles14, added-at = {2022-06-01T00:00:00.000+0200}, author = {Knowles, Kenneth L.}, biburl = {https://www.bibsonomy.org/bibtex/2ceba85655f487a94132853bb070ba045/dblp}, ee = {https://www.escholarship.org/uc/item/92c8b5hp}, interhash = {766a72543270c30d39444b2a0662892a}, intrahash = {ceba85655f487a94132853bb070ba045}, keywords = {dblp}, school = {University of California, Santa Cruz, USA}, timestamp = {2024-04-09T08:03:48.000+0200}, title = {Executable Refinement Types.}, year = 2014 }