A Monadic Calculus for Parallel Costing of a Functional Language of Arrays.

C. Barry Jay Murray Cole M. Sekanina Paul Steckler

Published in: Euro-Par (1997)

Keyphrases

functional language
functional programming
programming language
proof planning
high level
theorem proving