{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T15:27:28Z","timestamp":1725550048813},"publisher-location":"Berlin, Heidelberg","reference-count":29,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540291060"},{"type":"electronic","value":"9783540320241"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2005]]},"DOI":"10.1007\/11560586_1","type":"book-chapter","created":{"date-parts":[[2005,10,20]],"date-time":"2005-10-20T14:08:27Z","timestamp":1129817307000},"page":"1-20","source":"Crossref","is-referenced-by-count":5,"title":["Semantic Subtyping: Challenges, Perspectives, and Open Problems"],"prefix":"10.1007","author":[{"given":"Giuseppe","family":"Castagna","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"1_CR1","doi-asserted-by":"crossref","unstructured":"Aspinall, D., Compagnoni, A.: Subtyping dependent types. In: 11th Ann. Symp. on Logic in Computer Science, pp. 86\u201397 (1996)","DOI":"10.1109\/LICS.1996.561307"},{"key":"1_CR2","doi-asserted-by":"publisher","first-page":"9","DOI":"10.1016\/0304-3975(93)90082-5","volume":"21","author":"M. Abadi","year":"1993","unstructured":"Abadi, M., Cardelli, L., Curien, P.-L.: Formal parametric polymorphism. Theoretical Computer Science\u00a021, 9\u201358 (1993); Special issue in honour of Corrado B\u00f6hm","journal-title":"Theoretical Computer Science"},{"issue":"1","key":"1_CR3","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1142\/S0129054191000029","volume":"2","author":"M. Abadi","year":"1991","unstructured":"Abadi, M., Pierce, B., Plotkin, G.: Faithful ideal models for recursive polymorphic types. International Journal of Foundations of Computer Science\u00a02(1), 1\u201321 (1991); Summary in Fourth Annual Symposium on Logic in Computer Science (June 1989)","journal-title":"International Journal of Foundations of Computer Science"},{"key":"1_CR4","doi-asserted-by":"crossref","unstructured":"Aiken, A., Wimmers, E.L.: Type inclusion constraints and type inference. In: Proceedings of the Seventh ACM Conference on Functional Programming and Computer Architecture, Copenhagen, Denmark, June 1993, pp. 31\u201341 (1993)","DOI":"10.1145\/165180.165188"},{"issue":"4","key":"1_CR5","doi-asserted-by":"publisher","first-page":"931","DOI":"10.2307\/2273659","volume":"48","author":"H. Barendregt","year":"1983","unstructured":"Barendregt, H., Coppo, M., Dezani-Ciancaglini, M.: A filter lambda model and the completeness of type assignment. Journal of Symbolic Logic\u00a048(4), 931\u2013940 (1983)","journal-title":"Journal of Symbolic Logic"},{"issue":"1","key":"1_CR6","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1006\/inco.2001.3128","volume":"168","author":"G. Castagna","year":"2001","unstructured":"Castagna, G., Chen, G.: Dependent types with subtyping and late-bound overloading. Information and Computation\u00a0168(1), 1\u201367 (2001)","journal-title":"Information and Computation"},{"key":"1_CR7","unstructured":"Castagna, G., Dezani, M., Varacca, D.: Encoding CDuce into C\u03c0. Working draft (February 2005)"},{"key":"1_CR8","volume-title":"Proceedings of PPDP 2005, the 7th ACM SIGPLAN International Symposium on Principles and Practice of Declarative Programming","author":"G. Castagna","year":"2005","unstructured":"Castagna, G., Frisch, A.: A gentle introduction to semantic subtyping. In: Proceedings of PPDP 2005, the 7th ACM SIGPLAN International Symposium on Principles and Practice of Declarative Programming, Lisboa, Portugal. ACM Press, New York (2005); Joint ICALP-PPDP keynote talk"},{"key":"1_CR9","unstructured":"Chen, G.: Dependent type system with subtyping. Journal of Computer Science and Technology\u00a014(1) (1999)"},{"key":"1_CR10","volume-title":"LICS 2005, 20th Annual IEEE Symposium on Logic in Computer Science","author":"G. Castagna","year":"2005","unstructured":"Castagna, G., De Nicola, R., Varacca, D.: Semantic subtyping for the \u03c0-calculus. In: LICS 2005, 20th Annual IEEE Symposium on Logic in Computer Science. IEEE Computer Society Press, Los Alamitos (2005)"},{"key":"1_CR11","doi-asserted-by":"crossref","unstructured":"Damm, F.: Subtyping with union types, intersection types and recursive types II. Research Report 816, IRISA (1994)","DOI":"10.1007\/3-540-57887-0_121"},{"key":"1_CR12","doi-asserted-by":"crossref","unstructured":"Dezani-Ciancaglini, M., Frisch, A., Giovannetti, E., Motohama, Y.: The relevance of semantic subtyping. In: Intersection Types and Related Systems. Electronic Notes in Theoretical Computer Science\u00a070(1) (2002)","DOI":"10.1016\/S1571-0661(04)80492-4"},{"key":"1_CR13","doi-asserted-by":"crossref","first-page":"137","DOI":"10.1109\/LICS.2002.1029823","volume-title":"Proceedings, Seventeenth Annual IEEE Symposium on Logic in Computer Science","author":"A. Frisch","year":"2002","unstructured":"Frisch, A., Castagna, G., Benzaken, V.: Semantic Subtyping. In: Proceedings, Seventeenth Annual IEEE Symposium on Logic in Computer Science, pp. 137\u2013146. IEEE Computer Society Press, Los Alamitos (2002)"},{"key":"1_CR14","unstructured":"Frisch, A.: Th\u00e9orie, conception et r\u00e9alisation d\u2019un langage de programmation fonctionnel adapt\u00e9 \u00e0 XML. PhD thesis, Universit\u00e9 Paris 7 (December 2004)"},{"key":"1_CR15","doi-asserted-by":"crossref","unstructured":"Gordon, A., Jeffrey, A.: Authenticity by typing for security protocols. In: CSFW 2001: 14th IEEE Computer Security Foundations Workshop, pp. 145\u2013159 (2001)","DOI":"10.1109\/CSFW.2001.930143"},{"key":"1_CR16","volume-title":"POPL\u00a02005, 32nd ACM Symposium on Principles of Programming Languages","author":"H. Hosoya","year":"2005","unstructured":"Hosoya, H., Frisch, A., Castagna, G.: Parametric polymorphism for XML. In: POPL\u00a02005, 32nd ACM Symposium on Principles of Programming Languages. ACM Press, New York (2005)"},{"issue":"1","key":"1_CR17","doi-asserted-by":"publisher","first-page":"143","DOI":"10.1145\/138027.138060","volume":"40","author":"R. Harper","year":"1993","unstructured":"Harper, R., Honsell, F., Plotkin, G.: A framework for defining logics. Journal of the ACM\u00a040(1), 143\u2013184 (1993)","journal-title":"Journal of the ACM"},{"key":"1_CR18","doi-asserted-by":"crossref","unstructured":"Hosoya, H.: Regular Expression Types for XML. PhD thesis, The University of Tokyo (2001)","DOI":"10.1145\/351240.351242"},{"key":"1_CR19","doi-asserted-by":"crossref","unstructured":"Hosoya, H., Pierce, B.C.: Regular expression pattern matching for XML. In: The 25th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (2001)","DOI":"10.1145\/360204.360209"},{"issue":"2","key":"1_CR20","doi-asserted-by":"publisher","first-page":"117","DOI":"10.1145\/767193.767195","volume":"3","author":"H. Hosoya","year":"2003","unstructured":"Hosoya, H., Pierce, B.: XDuce: A typed XML processing language. ACM Transactions on Internet Technology\u00a03(2), 117\u2013148 (2003)","journal-title":"ACM Transactions on Internet Technology"},{"key":"1_CR21","doi-asserted-by":"publisher","first-page":"82","DOI":"10.1006\/inco.2001.3089","volume":"173","author":"M. Hennessy","year":"2002","unstructured":"Hennessy, M., Riely, J.: Resource access control in systems of mobile agents. Information and Computation\u00a0173, 82\u2013120 (2002)","journal-title":"Information and Computation"},{"issue":"1-2","key":"1_CR22","doi-asserted-by":"publisher","first-page":"323","DOI":"10.1016\/0304-3975(93)90093-9","volume":"121","author":"G. Longo","year":"1993","unstructured":"Longo, G., Milsted, K., Soloviev, S.: The genericity theorem and parametricity in the polymorphic \u03bb-calculus. Theor. Comput. Sci.\u00a0121(1-2), 323\u2013349 (1993)","journal-title":"Theor. Comput. Sci."},{"key":"1_CR23","unstructured":"Merro, M.: Locality in the pi-calculus and applications to distributed objects. PhD thesis, Ecole des Mines de Paris, Nice, France (2000)"},{"issue":"2","key":"1_CR24","doi-asserted-by":"publisher","first-page":"119","DOI":"10.1017\/S0960129500001407","volume":"2","author":"R. Milner","year":"1992","unstructured":"Milner, R.: Functions as processes. Mathematical Structures in Computer Science\u00a02(2), 119\u2013141 (1992)","journal-title":"Mathematical Structures in Computer Science"},{"key":"1_CR25","unstructured":"Pfenning, F.: Refinement types for logical frameworks. In: Informal Proceedings of the 1993 Workshop on Types for Proofs and Programs (May 1993)"},{"key":"1_CR26","first-page":"513","volume-title":"Information Processing 1983","author":"J.C. Reynolds","year":"1983","unstructured":"Reynolds, J.C.: Types, abstractions and parametric polymorphism. In: Mason, R.E.A. (ed.) Information Processing 1983, pp. 513\u2013523. North-Holland, Amsterdam (1983)"},{"key":"1_CR27","volume-title":"The \u03c0-calculus","author":"D. Sangiorgi","year":"2002","unstructured":"Sangiorgi, D., Walker, D.: The \u03c0-calculus. Cambridge University Press, Cambridge (2002)"},{"key":"1_CR28","doi-asserted-by":"crossref","unstructured":"Yoshida, N., Hennessy, M.: Assigning types to processes. In: Proc. of the 15th IEEE Symposium on Logic in Computer Science, pp. 334\u2013348 (2000)","DOI":"10.1109\/LICS.2000.855782"},{"key":"1_CR29","doi-asserted-by":"publisher","first-page":"147","DOI":"10.1145\/964001.964014","volume-title":"POPL 2004: Proceedings of the 31st ACM SIGPLAN-SIGACT symposium on Principles of programming languages","author":"N. Yoshida","year":"2004","unstructured":"Yoshida, N.: Channel dependent types for higher-order mobile processes. In: POPL 2004: Proceedings of the 31st ACM SIGPLAN-SIGACT symposium on Principles of programming languages, pp. 147\u2013160. ACM Press, New York (2004)"}],"container-title":["Lecture Notes in Computer Science","Theoretical Computer Science"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11560586_1.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T19:50:29Z","timestamp":1605642629000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11560586_1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005]]},"ISBN":["9783540291060","9783540320241"],"references-count":29,"URL":"https:\/\/doi.org\/10.1007\/11560586_1","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2005]]}}}