Jon Whittle, Alan Bundy, Richard J. Boulton, Helen Lowe
An ML Editor Based on Proofs-As-Programs
ASE, 1999.
@inproceedings{ASE-1999-WhittleBBL,
author = "Jon Whittle and Alan Bundy and Richard J. Boulton and Helen Lowe",
booktitle = "{Proceedings of the 14th IEEE International Conference on Automated Software Engineering}",
ee = "http://computer.org/proceedings/ase/0415/04150166abs.htm",
pages = "166--173",
publisher = "{IEEE Computer Society}",
title = "{An ML Editor Based on Proofs-As-Programs}",
year = 1999,
}