Edinburgh Research Explorer

An ML Editor based on Proofs-as-Programs

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Standard

An ML Editor based on Proofs-as-Programs. / Whittle, J.; Bundy, Alan; Boulton, R.; Lowe, H.

Automated Software Engineering, 1999. 14th IEEE International Conference on.. 1999. p. 166 - 173.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Harvard

Whittle, J, Bundy, A, Boulton, R & Lowe, H 1999, An ML Editor based on Proofs-as-Programs. in Automated Software Engineering, 1999. 14th IEEE International Conference on.. pp. 166 - 173, Automated Software Engineering, 1999. 14th IEEE International Conference on., Cocoa Beach, FL, United States, 12/10/99. https://doi.org/10.1109/ASE.1999.802196

APA

Whittle, J., Bundy, A., Boulton, R., & Lowe, H. (1999). An ML Editor based on Proofs-as-Programs. In Automated Software Engineering, 1999. 14th IEEE International Conference on. (pp. 166 - 173) https://doi.org/10.1109/ASE.1999.802196

Vancouver

Whittle J, Bundy A, Boulton R, Lowe H. An ML Editor based on Proofs-as-Programs. In Automated Software Engineering, 1999. 14th IEEE International Conference on.. 1999. p. 166 - 173 https://doi.org/10.1109/ASE.1999.802196

Author

Whittle, J. ; Bundy, Alan ; Boulton, R. ; Lowe, H. / An ML Editor based on Proofs-as-Programs. Automated Software Engineering, 1999. 14th IEEE International Conference on.. 1999. pp. 166 - 173