{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:02:15Z","timestamp":1725663735661},"publisher-location":"Berlin, Heidelberg","reference-count":26,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540566106"},{"type":"electronic","value":"9783540475989"}],"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-56610-4_96","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T06:22:23Z","timestamp":1330237343000},"page":"658-670","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Types as parameters"],"prefix":"10.1007","author":[{"given":"Giuseppe","family":"Longo","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,5,28]]},"reference":[{"key":"45_CR1","doi-asserted-by":"crossref","unstructured":"M.Abadi, L. Cardelli, and P.-L. Curien, Formal parametric polymorphism. In Proc. 20th ACM Symposium on Principles of Programming Languages, 1993.","DOI":"10.1145\/158511.158622"},{"key":"45_CR2","volume-title":"The Lambada Calculus, Us syntax and semantics","author":"H. Barendregt","year":"1984","unstructured":"H. Barendregt, The Lambada Calculus, Us syntax and semantics, North-Holland, Amsterdam, revised edition, 1984","edition":"revised edition"},{"key":"45_CR3","doi-asserted-by":"publisher","first-page":"135","DOI":"10.1016\/0304-3975(85)90135-5","volume":"39","author":"Berarducci","year":"1985","unstructured":"Berarducci and C. Bochm, Automatic synthesis of typed A-programs on term algebras, Theoret. Comput. Sci. 39 (1985) pp.135\u2013154","journal-title":"Theoret. Comput. Sci."},{"key":"45_CR4","doi-asserted-by":"publisher","first-page":"35","DOI":"10.1016\/0304-3975(90)90151-7","volume":"70","author":"B. S. Bainbridge","year":"1990","unstructured":"B.S. Bainbridge, P.J. Freyd, A. Scedrov, and P.J. Scott,. Functorial Polymorphism. Theoretical Computer Science, 70:35\u201364, 1990. Corresgendum ibid., 71:431,1990.","journal-title":"Theoretical Computer Science"},{"key":"45_CR5","unstructured":"A. Church, The Calculi of Lambada Conversion, Princeton University Press, Princeton"},{"key":"45_CR6","doi-asserted-by":"crossref","unstructured":"G. Castagna, G. Ghelli and G. Longo, A calculus for overloaded functions with subtyping ACM Conference on LISP and Functional Programming, San Francisco, Juillet 1992.","DOI":"10.1145\/141471.141537"},{"key":"45_CR7","unstructured":"G. Castagna, G. Ghelli and G. Longo, The semantics for Lamda &-early: a calculus with overlaorading and early binding, Report LIENS."},{"issue":"4","key":"45_CR8","doi-asserted-by":"crossref","first-page":"417","DOI":"10.1017\/S0956796800000198","volume":"I","author":"L. Cardelli","year":"1991","unstructured":"L. Cardelli and G. Longo, A semantic basis for Quest. In Journal of Functional Programming I(4), October 1991, pp.417\u2013458.","journal-title":"Journal of Functional Programming"},{"key":"45_CR9","doi-asserted-by":"crossref","unstructured":"L. Cardelli, J.C. Mitchell, S. Martini, and A. Scedrov, An extension of system F with Subtyping. To appear in Information and Computation. Extended abstract in T. Ito and A.R. Meyer (eds.), Theoretical Aspects of Computer Software, Springer-Verlag LNCS 526, 1991, pp. 750\u2013770.","DOI":"10.1007\/3-540-54415-1_73"},{"key":"45_CR10","unstructured":"R. DiCosmo, Deciding type isomorphisms in a type assignment framework. Journal of Functional Programming, To appear in the Special Issue on ML."},{"key":"45_CR11","unstructured":"R. DiCosmo, Isomorphisms of Types, PhD Thesis, Universita di Pisa."},{"key":"45_CR12","volume-title":"Constructively equivalent propositions and isomorphisms of objects (or terms as natural transformations)","author":"R. DiCosmo","year":"1989","unstructured":"R. DiCosmo and G. Longo, Constructively equivalent propositions and isomorphisms of objects (or terms as natural transformations). Workshop on Logic for Comptuer Science. Moschovakis (ed), MSRI, Berkeley, November 1989."},{"key":"45_CR13","volume-title":"Categories, Allegories","author":"P. J. Freyd","year":"1990","unstructured":"P.J. Freyd and A. Scedrov, Categories, Allegories. Mathematical Library, North-Holland, 1990."},{"key":"45_CR14","unstructured":"P.J. Frcyd, E.P. Robinson, and G. Rosolini, Functorial parametricity. In Proc. 7th Annual IEEE Symposium on Logic in Computer Science, 1992."},{"key":"45_CR15","doi-asserted-by":"crossref","unstructured":"J.-Y. Girard, Une extention de l'intcrpr>tation de Godcl\/l'analyse et la th>orie et son application\/l'>limination des coupures dans l'analyse et la th>orie des types, In Proceedings of the Second Scandinavian Logic Symposium, Studies in Logic 63, J.E. Fenstad (ed.), North-Holland, Amsterdam, pp.63\u201392.","DOI":"10.1016\/S0049-237X(08)70843-7"},{"key":"45_CR16","unstructured":"J.-Y. Girard, Y. Lafont, and P. Taylor, Proofs and Types. Cambridge Tracts in Theoretical Computer Science, Cambridge University Press, 1989."},{"key":"45_CR17","doi-asserted-by":"crossref","unstructured":"J.-Y. Girard, A. Scedrov, and P.J. Scott, Normal forms and cut-free proofs as natural transformations. In: Y.N. Moschovakis, editor, Logic from Computer Science, Pro. M.S.R.I. Workshop, Berkeley, 1989. M.S.R.I. Series Springer-Verlag, 1991.","DOI":"10.1007\/978-1-4612-2822-6_8"},{"key":"45_CR18","unstructured":"R. Hasegawa, Categorical data types in parametric polymorphism. To appear in Mathematical Structure in Computer Science."},{"key":"45_CR19","unstructured":"G. Longo, K. Milsted and S. Soloviev, The genericity theorem and the notion of parametricity in the plymorphic Lamda-calculus, Report LIENS 92-25 (submitted to LICS93)."},{"key":"45_CR20","doi-asserted-by":"crossref","unstructured":"Q. Ma and J.C. Reynolds, Types, abstraction, and parametric polymorphism, Part 2. In S. Brookes et al., editors, Mathematical Fundations of Programming Semantics, Proceedings 1991, Springer-Verlag LNCS 598, 1992, pp. 1\u201340.","DOI":"10.1007\/3-540-55511-0_1"},{"key":"45_CR21","doi-asserted-by":"crossref","unstructured":"H. Mairson, Outline of a proof theory of parametricity. In Proc. 5-th Intern. Symp. on Functional Programming and Computer Architecture, 1991.","DOI":"10.1007\/3540543961_15"},{"issue":"3","key":"45_CR22","doi-asserted-by":"publisher","first-page":"348","DOI":"10.1016\/0022-0000(78)90014-4","volume":"17","author":"R. Milner","year":"1978","unstructured":"R. Milner, A theory of type polymorphism in programming. In Journal of Computer and Systytem Science, 17(3): 348\u2013375, 1978.","journal-title":"Journal of Computer and Systytem Science"},{"issue":"2\/3","key":"45_CR23","doi-asserted-by":"publisher","first-page":"211","DOI":"10.1016\/0890-5401(88)90009-0","volume":"76","author":"J. C. Mitchell","year":"1988","unstructured":"J.C. Mitchell, Polymorphic type inference and containment. Information and Computation, 76(2\/3): 211\u2013249, 1988. Reprinted in Logical Fundations of Functional Programming, ed. G. Huet, Addison-Wesley, 1990, pp.153-194.","journal-title":"Information and Computation"},{"key":"45_CR24","doi-asserted-by":"crossref","unstructured":"J.C. Reynolds, Towards a theory of type structure, in LNCS, Springer, Berlin, pp.408\u2013425.","DOI":"10.1007\/3-540-06859-7_148"},{"key":"45_CR25","unstructured":"J.C. Reynolds, Types, abstraction, and parametric polymorphism. In R.E.A. Mason, editor, Information Processing'83, pp. 513\u2013523. North-Holland, 1983."},{"key":"45_CR26","doi-asserted-by":"crossref","unstructured":"P. Wadler, Theorems for free! in 4th internal. Symp. on FP Languages and Computer Architecture, London, pp.347\u2013359, ACM, 1989.","DOI":"10.1145\/99370.99404"}],"container-title":["Lecture Notes in Computer Science","TAPSOFT'93: Theory and Practice of Software Development"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-56610-4_96","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,19]],"date-time":"2019-05-19T08:45:12Z","timestamp":1558255512000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-56610-4_96"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1993]]},"ISBN":["9783540566106","9783540475989"],"references-count":26,"URL":"https:\/\/doi.org\/10.1007\/3-540-56610-4_96","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":"28 May 2005","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}