Directions in Functional Programming for Real(-Time) Applications.

Walid Taha Paul Hudak Zhanyong Wan

Published in: EMSOFT (2001)

Keyphrases

functional programming
real time
quantifier elimination
functional language
programming language
object oriented programming
execution model
database
web services
logic programs
data distribution