FUDGETS: A Graphical User Interface in a Lazy Functional Language.

Mats Carlsson Thomas Hallgren

Published in: FPCA (1993)

Keyphrases

functional language
functional programming
programming language
proof planning
execution model
object identity
general purpose
theorem proving