Constraints for Polymorphic Behaviours  of Concurrent ML

Flemming Nielson, Hanne Riis Nielson

Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

Original language	English
Title of host publication	Proc. Constraints in Computational Logics
Publisher	Springer Verlag
Publication date	1994
Pages	73-88
Publication status	Published - 1994
Event	Proc. Constraints in Computational Logics - Duration: 1 Jan 1994 → …

Conference	Proc. Constraints in Computational Logics
Period	01/01/1994 → …

OpenUrl availability

@inproceedings{340598fae311434a92f6308b60734076,

title = "Constraints for Polymorphic Behaviours of Concurrent ML",

author = "Flemming Nielson and Nielson, {Hanne Riis}",

year = "1994",

language = "English",

pages = "73--88",

booktitle = "Proc. Constraints in Computational Logics",

publisher = "Springer Verlag",

address = "Germany",

note = "Proc. Constraints in Computational Logics ; Conference date: 01-01-1994",

}