{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,7]],"date-time":"2024-09-07T12:19:05Z","timestamp":1725711545178},"publisher-location":"London","reference-count":11,"publisher":"Springer London","isbn-type":[{"type":"print","value":"9783540199144"},{"type":"electronic","value":"9781447135739"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1995]]},"DOI":"10.1007\/978-1-4471-3573-9_17","type":"book-chapter","created":{"date-parts":[[2013,1,5]],"date-time":"2013-01-05T06:22:28Z","timestamp":1357366948000},"page":"245-254","source":"Crossref","is-referenced-by-count":1,"title":["Type-Checked Message-Passing between Functional Processes"],"prefix":"10.1007","author":[{"given":"Malcolm","family":"Wallace","sequence":"first","affiliation":[]},{"given":"Colin","family":"Runciman","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"17_CR1","volume-title":"Haskell B users manual v0.999.5","author":"Lennart Augustsson","year":"1993","unstructured":"Lennart Augustsson, Haskell B user\u2019s manual v0.999.5, Chalmers University, Sweden, October 1993."},{"key":"17_CR2","doi-asserted-by":"crossref","unstructured":"Paul Hudak and Joe Fasel, A Gentle Introduction to Haskell, SIGPLAN Notices, 27 (5), May 1992.","DOI":"10.1145\/130697.130698"},{"key":"17_CR3","doi-asserted-by":"crossref","unstructured":"Mark P Jones, Computing with lattices: an application of type classes,Journal of Functional Programming, 2(4), pp.475\u2013503, October 1992.","DOI":"10.1017\/S0956796800000514"},{"key":"17_CR4","volume-title":"Jones, A system of constructor classes: overloading and implicit higher-order polymorphism, pp.52-61, Proceedings of 6th Conference on Functional Programming Languages and Computer Architecture","author":"P Mark","year":"1993","unstructured":"Mark P Jones, A system of constructor classes: overloading and implicit higher-order polymorphism, pp.52\u201361, Proceedings of 6th Conference on Functional Programming Languages and Computer Architecture, Copenhagen, ACM Press, June 1993."},{"key":"17_CR5","volume-title":"Nebula, a functional operating system, LPM11, Department of Computer Science","author":"Kent Karlsson","year":"1981","unstructured":"Kent Karlsson, Nebula, a functional operating system, LPM11, Department of Computer Science, Chalmers University, Gothenburg, Sept 1981."},{"key":"17_CR6","volume-title":"An ideal model for recursive polymorphic types, pp.165-174, Proceedings of 11th Symposium on Principles of Programming Languages","author":"DB Macqueen","year":"1984","unstructured":"D B MacQueen, G Plotkin, and R Sethi, An ideal model for recursive polymorphic types, pp.165\u2013174, Proceedings of 11th Symposium on Principles of Programming Languages, ACM Press, January 1984."},{"key":"17_CR7","volume-title":"Imperative functional programming, Proceedings of 20th Symposium on Principles of Programming Languages","author":"S Jones","year":"1993","unstructured":"Simon Peyton Jones and Phil Wadler, Imperative functional programming, Proceedings of 20th Symposium on Principles of Programming Languages, ACM Press, January 1993."},{"key":"17_CR8","doi-asserted-by":"crossref","unstructured":"William Stoye, Message-based functional operating systems,Science of Computer Programming 6, pp.291\u2013311, 1986.","DOI":"10.1016\/0167-6423(86)90028-6"},{"key":"17_CR9","doi-asserted-by":"crossref","unstructured":"David A Turner, Functional programming and communicating processes,pp.54\u201374, Proceedings of PARLE \u201887, Springer-Verlag LNCS 259, 1987.","DOI":"10.1007\/3-540-17945-3_3"},{"key":"17_CR10","volume-title":"How to make ad-hoc polymorphism less ad-hoc, pp.33-52, Proceedings of the workshop on Implementation of Lazy Functional Languages","author":"P Wadler","year":"1988","unstructured":"P Wadler and S Blott, How to make ad-hoc polymorphism less ad-hoc, pp.33\u201352, Proceedings of the workshop on Implementation of Lazy Functional Languages, Programming Methodology Group, Chalmers University, September 1988."},{"key":"17_CR11","doi-asserted-by":"crossref","unstructured":"Malcolm Wallace and Colin Runciman, Extending a functional programming system for embedded applications,Software Practice and Experience 25(1), January 1995.","DOI":"10.1002\/spe.4380250105"}],"container-title":["Workshops in Computing","Functional Programming, Glasgow 1994"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-1-4471-3573-9_17","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,10]],"date-time":"2019-05-10T06:32:00Z","timestamp":1557469920000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-1-4471-3573-9_17"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1995]]},"ISBN":["9783540199144","9781447135739"],"references-count":11,"URL":"https:\/\/doi.org\/10.1007\/978-1-4471-3573-9_17","relation":{},"ISSN":["1431-1682"],"issn-type":[{"type":"print","value":"1431-1682"}],"subject":[],"published":{"date-parts":[[1995]]}}}