Coquand, Catarina, Takeyama, Makoto, Synek, Dan. An Emacs-Interface for Type-Directed Supportfor Constructing Proofs and Programs. In European Joint Conferences on Theory and Practice of Software, ENTCS. Volume 2 of 2006.
@inproceedings{coquand2006emacs,
title = {An Emacs-Interface for Type-Directed Supportfor Constructing Proofs and Programs},
author = {Coquand, Catarina and Takeyama, Makoto and Synek, Dan},
year = {2006},
researchr = {https://researchr.org/publication/coquand2006emacs},
cites = {0},
citedby = {0},
booktitle = {European Joint Conferences on Theory and Practice of Software, ENTCS},
volume = {2},
}