Constraints for Polymorphic Behaviours of Concurrent ML - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Flemming Nielson, Hanne Riis Nielson. Constraints for Polymorphic Behaviours of Concurrent ML. In Jean-Pierre Jouannaud, editor, Constraints in Computational Logics, First International Conference, CCL 94, Munich, Germant, September 7-9, 1994. Volume 845 of Lecture Notes in Computer Science, pages 73-88, Springer, 1994.

This author has not been identified. Look up 'Flemming Nielson' in GoogleThis author has not been identified. Look up 'Hanne Riis Nielson' in Google

runs on WebDSL