A Formal Development of an Efficient Subercombinator Compiler.

Richard S. Bird

Published in: Sci. Comput. Program. (1987)

Keyphrases

knowledge based systems
software engineering
general purpose
decision support
development process
formal model
database
social networks
information technology
programming language
systems development