Non-determinism Analysis in a Parallel-Functional Language.- Exploiting Implicit Parallelism in F...

This book constitutes the thoroughly refereed post-workshop proceedings of the 11th International...

This Festschrift has been published in honor of Rinus Plasmeijer, to celebrate the combined occas...

Self-adjusting Computation with Delta ML.- Spider Spinning for Dummies.- From Reduction-Based to ...