{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T22:59:26Z","timestamp":1725663566791},"publisher-location":"Berlin, Heidelberg","reference-count":14,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540572640"},{"type":"electronic","value":"9783540480273"}],"license":[{"start":{"date-parts":[[1993,1,1]],"date-time":"1993-01-01T00:00:00Z","timestamp":725846400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1993]]},"DOI":"10.1007\/3-540-57264-3_31","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T12:34:08Z","timestamp":1330259648000},"page":"87-98","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["Compiling FX on the CM-2"],"prefix":"10.1007","author":[{"given":"Jean-Pierre","family":"Talpin","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Pierre","family":"Jouvelot","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,5,31]]},"reference":[{"key":"7_CR1","unstructured":"Blelloch, G. E. Vector model for data-parallel computing. The MIT Press, 1990."},{"key":"7_CR2","unstructured":"ANSI, Standard for the Information Systems Programming Language Fortran: S8(X3.9-198x), 1989."},{"key":"7_CR3","unstructured":"Gifford, D. K., Jouvelot, P., Lucassen, J. M., and Sheldon, M. A. FX-87 Reference Manual. MIT\/LCS\/TR-407, MIT Laboratory for Computer Science, September 1987."},{"key":"7_CR4","unstructured":"Hillis, W. D. The Connection Machine. The MIT Press,1985."},{"key":"7_CR5","volume-title":"Polymorphic Effect Systems","author":"J. M. Lucassen","year":"1988","unstructured":"Lucassen, J. M., and Gifford, D. K. Polymorphic Effect Systems. In Proceedings of the 1988 ACM Conference on Principles of Programming Languages. ACM, New-York, 1988."},{"key":"7_CR6","doi-asserted-by":"crossref","first-page":"348","DOI":"10.1016\/0022-0000(78)90014-4","volume":"17","author":"R. Milner","year":"1978","unstructured":"Milner, R. A Theory for type polymorphism in programming. In Journal of Computer and Systems Sciences, Vol. 17, pages 348\u2013375. 1978.","journal-title":"Journal of Computer and Systems Sciences"},{"key":"7_CR7","unstructured":"Milner, R., Tofte, M., Harper, R. The definition of Standard ML. The MIT Press, 1990."},{"key":"7_CR8","unstructured":"Rees, J. A., Adams, N. I., and Meehan, J. R. The T Manual, fourth edition. Yale University 1984."},{"key":"7_CR9","unstructured":"Sabot, G. W. The Paralation Model. MIT Press 1990."},{"key":"7_CR10","unstructured":"Rees, J., and Clinger W., Editors. Fourth Report on the Algorithmic Language Scheme, 1988."},{"key":"7_CR11","unstructured":"Steele, G. L. Common Lisp, the language. Digital Press 1990."},{"key":"7_CR12","unstructured":"*Lisp Reference Manual, version 4.0. Thinking Machines Corporation, Cambridge, 1987."},{"key":"7_CR13","doi-asserted-by":"crossref","unstructured":"Talpin, J. P., and Jouvelot, P. Polymorphic Type, Region and Effect Inference. In the Journal of Functional Programming, volume 2, number 3. Cambridge University Press, 1992.","DOI":"10.1017\/S0956796800000393"},{"key":"7_CR14","unstructured":"Talpin, J. P. Aspects Th\u00e9oriques et Pratiques de l'Inf\u00e9rence de Type et d'Effet. Doctoral dissertation. University Paris VI, May 12th, 1993."}],"container-title":["Lecture Notes in Computer Science","Static Analysis"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-57264-3_31","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,19]],"date-time":"2019-05-19T12:10:05Z","timestamp":1558267805000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-57264-3_31"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1993]]},"ISBN":["9783540572640","9783540480273"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/3-540-57264-3_31","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1993]]},"assertion":[{"value":"31 May 2005","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}