System Description: CyNTHIA

J. Whittle, Alan Bundy, R. Boulton, H. Lowe

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


Current programming environments for novice functional programming (FP) are inadequate. This paper describes ways of using proofs as a foundation to improve the situation, in the context of the language ML [4]. The most common way to write ML programs is via a text editor and compiler (such as the Standard ML of New Jersey compiler). But program errors, in particular type errors, are generally difficult to track down. For novices, the lack of debugging support forms a barrier to learning FP concepts [5].
Original languageEnglish
Title of host publicationAutomated Deduction — CADE-16
Subtitle of host publication16th International Conference on Automated Deduction Trento, Italy, July 7–10, 1999 Proceedings
PublisherSpringer-Verlag GmbH
ISBN (Electronic)978-3-540-48660-2
ISBN (Print)978-3-540-66222-8
Publication statusPublished - 1999

Publication series

NameLecture Notes in Computer Science
PublisherSpringer Verlag
ISSN (Print)0302-9743


Dive into the research topics of 'System Description: CyNTHIA'. Together they form a unique fingerprint.

Cite this