Testing Speculative Work in a Lazy/Eager Parallel Functional Language.

Alberto de la Encina Ismael Rodríguez Fernando Rubio

Published in: LCPC (2005)

Keyphrases

functional language
functional programming
programming language
proof planning
database systems
nearest neighbor
software engineering