{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,10]],"date-time":"2026-04-10T03:11:38Z","timestamp":1775790698272,"version":"3.50.1"},"publisher-location":"Berlin\/Heidelberg","reference-count":14,"publisher":"Springer-Verlag","isbn-type":[{"value":"354058403X","type":"print"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/bfb0016845","type":"book-chapter","created":{"date-parts":[[2005,11,23]],"date-time":"2005-11-23T02:52:57Z","timestamp":1132714377000},"page":"73-88","source":"Crossref","is-referenced-by-count":9,"title":["Constraints for polymorphic behaviours of concurrent ML"],"prefix":"10.1007","author":[{"given":"Flemming","family":"Nielson","sequence":"first","affiliation":[]},{"given":"Hanne Riis","family":"Nielson","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"6_CR1","doi-asserted-by":"crossref","unstructured":"B. Berthomieu, T. Le Sergent: Programming with Behaviours in an ML Framework, the Syntax and Semantics of LCS. Proc. ESOP'94, SLNCS 788, 1994.","DOI":"10.1007\/3-540-57880-3_6"},{"key":"6_CR2","unstructured":"A. Giacalone, P. Mishra, S. Prasad: Operational and Algebraic Semantics for Facile: A Symmetric Integration of Concurrent and Functional Programming. Proc. ICALP'90, SLNCS 443, 1990."},{"key":"6_CR3","doi-asserted-by":"crossref","unstructured":"T. Jensen: Disjunctive Strictness Analysis. Proc. LICS'92, 1992.","DOI":"10.1109\/LICS.1992.185531"},{"key":"6_CR4","doi-asserted-by":"crossref","unstructured":"P. Jouvelot, D. K. Gifford: Algebraic Reconstruction of Types and Effects. Proc. POPL'90, 1990.","DOI":"10.1145\/99583.99623"},{"key":"6_CR5","doi-asserted-by":"crossref","unstructured":"T.-M. Kuo, P. Mishra: Strictness Analysis: A New Perspective based on Type Inference. Proc. FPCA'89, ACM Press, 1989.","DOI":"10.1145\/99370.99390"},{"key":"6_CR6","doi-asserted-by":"crossref","unstructured":"X. Leroy, P. Weiss: Polymorphic Type Inference and Assignment. Proc. POPL'90, ACM Press, 1990.","DOI":"10.1145\/99583.99622"},{"key":"6_CR7","unstructured":"D. Matthews: A Distributed Concurrent Implementation of Standard ML. Proc. EurOpen Autumn 1991 Conference, 1991."},{"key":"6_CR8","doi-asserted-by":"crossref","unstructured":"J. C. Mitchell: Type Inference with Simple Subtypes. Journal of Functional Programming 1, 1991.","DOI":"10.1017\/S0956796800000113"},{"key":"6_CR9","doi-asserted-by":"crossref","unstructured":"F. Nielson, H.R. Nielson: From CML to Process Algebras. Proc. CONCUR'93, SLNCS 715, 1993.","DOI":"10.1007\/3-540-57208-2_34"},{"key":"6_CR10","doi-asserted-by":"crossref","unstructured":"H. R. Nielson, F. Nielson: Higher-Order Concurrent Programs with Finite Communication Topology. Proc. POPL'94, ACM Press, 1994.","DOI":"10.1145\/174675.174538"},{"key":"6_CR11","unstructured":"J.H. Reppy: Higher-Order Concurrency. Ph.D.-Thesis, Rep. 92-1285, Department of Computer Science, Cornell University, 1992."},{"key":"6_CR12","doi-asserted-by":"crossref","unstructured":"J.-P. Talpin, P. Jouvelot: The Type and Effect Discipline. Proc. LICS'92, 1992. (Also see Information and Computation 111 2, 1994.)","DOI":"10.1006\/inco.1994.1046"},{"key":"6_CR13","unstructured":"B. Thomsen: Polymorphic sorts and types for concurrent functional programs. Techn. Rep. ECRC-93-10, 1993."},{"key":"6_CR14","doi-asserted-by":"crossref","unstructured":"J. H. Siekmann: Unification Theory. Journal of Symbolic Computation 7, 1989.","DOI":"10.1016\/S0747-7171(89)80012-4"}],"container-title":["Lecture Notes in Computer Science","Constraints in Computational Logics"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/www.springerlink.com\/index\/pdf\/10.1007\/BFb0016845","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,11]],"date-time":"2020-04-11T00:38:07Z","timestamp":1586565487000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0016845"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["354058403X"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/bfb0016845","relation":{},"subject":[]}}