Interactive Programs in a Functional Language: A Functional Implementation of an Editor.

Pieter W. M. Koopman

Published in: Softw. Pract. Exp. (1987)

Keyphrases

functional language
functional programming
programming language
functional programs
proof planning
execution model
general purpose
object oriented
object identity
database
databases
inference rules
object oriented programming