Using Category Theory to Design Programming Languages.

John C. Reynolds

Published in: ESOP (2009)

Keyphrases

programming language
object oriented
software engineering
high level
general purpose
strongly typed
database languages
denotational semantics
logic programming
programming environment
specification language
lambda calculus
artificial intelligence
design process
data abstraction