{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:22:57Z","timestamp":1725664977378},"publisher-location":"Berlin, Heidelberg","reference-count":27,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540617563"},{"type":"electronic","value":"9783540706540"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1996]]},"DOI":"10.1007\/3-540-61756-6_75","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T22:21:05Z","timestamp":1330294865000},"page":"32-46","source":"Crossref","is-referenced-by-count":6,"title":["Functorial ML"],"prefix":"10.1007","author":[{"given":"G.","family":"Bell\u00e8","sequence":"first","affiliation":[]},{"given":"C. B.","family":"Jay","sequence":"additional","affiliation":[]},{"given":"E.","family":"Moggi","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,7]]},"reference":[{"key":"3_CR1","unstructured":"P. Aczel. A general Church-Rosser theorem. Technical report, Univ. of Manchester, 1978."},{"key":"3_CR2","unstructured":"H.P. Barendregt. The Lambda Calculus: Its Syntax and Semantics. North Holland, 1984. revised edition."},{"key":"3_CR3","doi-asserted-by":"crossref","unstructured":"H.P. Barendregt. Lambda calculi with types. In Handbook of Logic in Computer Science. Oxford Univ. Press, 1992.","DOI":"10.1093\/oso\/9780198537618.003.0002"},{"key":"3_CR4","doi-asserted-by":"crossref","unstructured":"J. Benabou. Introduction to bicategories, volume 47. Springer, 1967.","DOI":"10.1007\/BFb0074299"},{"key":"3_CR5","doi-asserted-by":"crossref","first-page":"35","DOI":"10.1016\/0304-3975(90)90151-7","volume":"70","author":"E.S. Bainbridge","year":"1990","unstructured":"E.S. Bainbridge, P.J. Freyd, A. Scedrov, and P.J. Scott. Functorial polymorphism. Theoretical Computer Science, 70:35\u201364, 1990.","journal-title":"Theoretical Computer Science"},{"key":"3_CR6","doi-asserted-by":"crossref","unstructured":"G. Bell\u00e8, C. B. Jay, and E. Moggi. Functorial ML. available from ftp:\/\/ftp.disi.unige.it\/person\/MoggiE\/functorial_ml.dvi, 1996.","DOI":"10.1007\/3-540-61756-6_75"},{"key":"3_CR7","unstructured":"M. Barr and C. Wells. Category Theory for Computing Science. International Series in Computer Science. Prentice Hall, 1990."},{"key":"3_CR8","unstructured":"J.R.B. Cockett and T. Fukushima. About charity. Technical Report 92\/480\/18, University of Calgary, 1992."},{"key":"3_CR9","unstructured":"J.-Y. Girard, Y. Lafont, and P. Taylor. Proofs and Types, volume 7. CUP, 1989."},{"key":"3_CR10","doi-asserted-by":"crossref","unstructured":"R. Harper and G. Morrisett. Compiling polymorphism using intensional type analysis. In Conference Record of POPL '95: 22nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, pages 130\u2013141, San Francisco, California, January 1995.","DOI":"10.1145\/199448.199475"},{"key":"3_CR11","unstructured":"C.B. Jay. Type-free term reduction for covariant types. Tech. report to appear."},{"key":"3_CR12","unstructured":"C.B. Jay. Polynomial polymorphism. In R. Kotagiri, editor, Proceedings of the Eighteenth Australasian Computer Science Conference: Glenelg, South Australia 1\u20133 February, 1995, volume 17, pages 237\u2013243. A.C.S. Communications, 1995."},{"key":"3_CR13","doi-asserted-by":"crossref","first-page":"251","DOI":"10.1016\/0167-6423(95)00015-1","volume":"25","author":"C.B. Jay","year":"1995","unstructured":"C.B. Jay. A semantics for shape. Science of Computer Programming, 25:251\u2013283, 1995.","journal-title":"Science of Computer Programming"},{"key":"3_CR14","unstructured":"C.B. Jay. Shape analysis for parallel computing. In Parallel Computing Workshop '95 at Fujitsu Parallel Computing Centre, Imperial College, 1995."},{"key":"3_CR15","unstructured":"C.B. Jay. A fresh look at parametric polymorphism: covariant types. In Proceedings of the 19th Australasian Computer Science Conference, Melbourne, Australia, January 31\u2013February 2 1996., pages 525\u2013533, 1996."},{"key":"3_CR16","doi-asserted-by":"crossref","unstructured":"J. Jeuring. Polytypic pattern matching. In Conference on Functional Programming Languages and Computer Architecture, pages 238\u2013248, 1995.","DOI":"10.1145\/224164.224212"},{"key":"3_CR17","doi-asserted-by":"crossref","unstructured":"M.P. Jones. A system of constructor classes: overloading and implicit higherorder polymorphism. J. of Functional Programming, 5(1), 1995.","DOI":"10.1017\/S0956796800001210"},{"key":"3_CR18","series-title":"Tracts 129","volume-title":"PhD thesis","author":"J.W. Klop","year":"1980","unstructured":"J.W. Klop. Combinatory Reduction Systems. PhD thesis, Mathematical Center Amsterdam, 1980. Tracts 129."},{"key":"3_CR19","doi-asserted-by":"crossref","unstructured":"X. Leroy. Unboxed objects and polymorphic typing. In 19th Symp. on Principle of Programming Languages. ACM Press, 1992.","DOI":"10.1145\/143165.143205"},{"key":"3_CR20","unstructured":"J. Lambek and P.J. Scott. Introduction to Higher-Order Categorical Logic, volume 7 of Cambridge Studies in Advanced Mathematics. Cambridge University Press, 1986."},{"key":"3_CR21","doi-asserted-by":"crossref","unstructured":"N.P. Mendler. Inductive types and type constraints in the second-order lambda calculus. Annals of Pure and Applied Logic, 51, 1991.","DOI":"10.1016\/0168-0072(91)90069-X"},{"key":"3_CR22","doi-asserted-by":"crossref","unstructured":"E. Meijer, M. Fokkinga, and R. Paterson. Functional programming with bananas, lenses, envelopes and barbed wire. In J. Hughes, editor, Procceding of the 5th ACM Conference on Functional Programming and Compter Architecture, volume 523 of LNCS, pages 124\u201344. Springer Verlag, 1991.","DOI":"10.1007\/3540543961_7"},{"key":"3_CR23","volume-title":"Bananas in space: extending fold and unfold to exponential types","author":"E. Meijer","year":"1995","unstructured":"E. Meijer and G. Hutton. Bananas in space: extending fold and unfold to exponential types. In Procedings 7th International Conference on Functional Programming and Computer Architecture, San Diego, California, June 1995. ACM Press, 1995."},{"key":"3_CR24","doi-asserted-by":"crossref","unstructured":"R. Milner. A theory of type polymorphism in programming. JCSS, 17, 1978.","DOI":"10.1016\/0022-0000(78)90014-4"},{"key":"3_CR25","doi-asserted-by":"crossref","unstructured":"S. Peyton Jones. Unboxed values as first-class citizens. In Functional Programming and Computer Architecture, volume 523 of LNCS, 1991.","DOI":"10.1007\/3540543961_30"},{"key":"3_CR26","unstructured":"J. Reynolds and G.D. Plotkin. On functors expressible in polymorphic lambda-calculus. In G. Huet, editor, Logical Foundations of Functional Programming. Addison-Wesley, 1990."},{"key":"3_CR27","unstructured":"M. Tofte. Operational Semantics and Polymorphic Type Inference. PhD thesis, University of Edinburgh, 1988. available as CST-52-88."}],"container-title":["Lecture Notes in Computer Science","Programming Languages: Implementations, Logics, and Programs"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-61756-6_75.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,4,20]],"date-time":"2024-04-20T17:45:54Z","timestamp":1713635154000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-61756-6_75"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1996]]},"ISBN":["9783540617563","9783540706540"],"references-count":27,"URL":"https:\/\/doi.org\/10.1007\/3-540-61756-6_75","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1996]]}}}