« Home

Reference. Code Generation for Higher Inductive Types [vivekanandan-2018-code]

  • 2018
    • ·
  • Paventhan Vivekanandan
http://arxiv.org/abs/1808.08330 
@article{vivekanandan-2018-code,
	author = {Vivekanandan, Paventhan},
	title = {Code Generation for Higher Inductive Types},
	journal = {CoRR},
	volume = {abs/1808.08330},
	year = {2018},
	url = {http://arxiv.org/abs/1808.08330},
	eprinttype = {arXiv},
	eprint = {1808.08330},
	timestamp = {Sun, 02 Sep 2018 15:01:56 +0200},
	biburl = {https://dblp.org/rec/journals/corr/abs-1808-08330.bib},
	bibsource = {dblp computer science bibliography, https://dblp.org}
}