M. C. J. D. Van Eekelen profile picture

M. C. J. D. Van Eekelen

Stand Alone

Functional Programming and Parallel Graph Rewriting (International Computer Science Series)
Interactive Theorem Proving
Trends in functional programming