A Functional Programming Technique for Forms in Graphical User Interfaces.

Sander Evers Peter Achten Jan Kuper

Published in: IFL (2004)

Keyphrases

graphical user interfaces
functional programming
user interface
functional language
quantifier elimination
execution model
visual representation
programming language
graphical user interface
object oriented programming
scripting language
database systems
general purpose
case study
object oriented