FYI: David Matthews just announced on the Poly/ML mailing list that he plans to release version 5.1 of Poly/ML soon. An interesting feature, at least to me, is the addition of support for kernel threads. See the interface here: http://www.polyml.org/docs/Threads.html . -Vesa Karvonen