Valentin Robert. Front-end tooling for building and maintaining dependently-typed functional programs. PhD thesis, University of California, San Diego, USA, 2018. [doi]
@phdthesis{basesearch-9076,
title = {Front-end tooling for building and maintaining dependently-typed functional programs},
author = {Valentin Robert},
year = {2018},
url = {https://www.base-search.net/Record/27cc9b935c52f4f101b55bf8483e4db0fb6032e34859edb6e78cf6b9d8c17424},
note = {base-search.net (ftcdlib:qt9q3490fh)},
researchr = {https://researchr.org/publication/basesearch-9076},
cites = {0},
citedby = {0},
school = {University of California, San Diego, USA},
}