Lazy functional programming in Java.

Anthony H. Dekker

Published in: ACM SIGPLAN Notices (2006)

Keyphrases

functional programming
programming language
object oriented programming
functional language
quantifier elimination
object oriented
general purpose
execution model
software engineering
high level
source code
logic programming
database
management system
software development
abstract data types