{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,9]],"date-time":"2024-09-09T15:20:51Z","timestamp":1725895251653},"publisher-location":"Berlin, Heidelberg","reference-count":24,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642104510"},{"type":"electronic","value":"9783642104527"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2009]]},"DOI":"10.1007\/978-3-642-10452-7_23","type":"book-chapter","created":{"date-parts":[[2009,11,4]],"date-time":"2009-11-04T08:37:26Z","timestamp":1257323846000},"page":"336-349","source":"Crossref","is-referenced-by-count":0,"title":["A Simple and General Theoretical Account for Abstract Types"],"prefix":"10.1007","author":[{"given":"Hongwei","family":"Xi","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"23_CR1","doi-asserted-by":"crossref","unstructured":"Cardelli, L., Donahue, J., Jordan, M., Kalso, B., Nelson, G.: The Modula-3 Type System. In: Proceedings of 16th Annual ACM Symposium on Principles of Programming Languages (POPL 1989), Austin, TX, January 1989, pp. 202\u2013212 (1989)","DOI":"10.1145\/75277.75295"},{"key":"23_CR2","doi-asserted-by":"crossref","unstructured":"Crary, K., Harper, R., Puri, S.: What is a recursive module? In: SIGPLAN Conference on Programming Language Design and Implementation (PLDI 1999), June 1999, pp. 56\u201363 (1999)","DOI":"10.1145\/301618.301641"},{"key":"23_CR3","unstructured":"Cardelli, L., Leroy, X.: Abstract Types and the Dot Notation. Technical Report\u00a056, DEC SRC (1990)"},{"key":"23_CR4","doi-asserted-by":"crossref","unstructured":"Dreyer, D., Crary, K., Harper, R.: A Type System for Higher-Order Modules. In: Proceedings of 30th Annual ACM SIGPLAN Symposium on Principles of Programming Languages (POPL 2003), New Orleans, LA, January 2003, pp. 236\u2013249 (2003)","DOI":"10.1145\/604131.604151"},{"issue":"5","key":"23_CR5","doi-asserted-by":"publisher","first-page":"24","DOI":"10.1109\/MS.1985.231756","volume":"2","author":"J.V. Guttag","year":"1985","unstructured":"Guttag, J.V., Horning, J.J., Wing, J.M.: The Larch Family of Specification Languages. IEEE Software\u00a02(5), 24\u201336 (1985)","journal-title":"IEEE Software"},{"key":"23_CR6","doi-asserted-by":"crossref","unstructured":"Harper, R.W., Lillibridge, M.: A type-theoretic approach to higher-order modules with sharing. In: Proceedings of 21st Annual ACM SIGPLAN Symposium on Principles of Programming Languages (POPL 1994), Portland, Oregon, pp. 123\u2013137 (1994)","DOI":"10.1145\/174675.176927"},{"key":"23_CR7","doi-asserted-by":"crossref","unstructured":"Leroy, X.: Manifest Types, Modules, and Separate Compilation. In: Proceeding of 21st Annual ACM Conference on Principles of Programming lanugages (POPL 1994), Porland, OR (January 1994)","DOI":"10.1145\/174675.176926"},{"key":"23_CR8","doi-asserted-by":"crossref","unstructured":"Leroy, X.: Aplicative functors and fully transparent higher-order modules. In: Proceedings of 22nd ACM SIGPLAN Symposium on Principles of Programming Languages (POPL 1995), San Francisco, CA, January 1995, pp. 142\u2013153 (1995)","DOI":"10.1145\/199448.199476"},{"key":"23_CR9","unstructured":"Lillibridge, M.: Translucent Sums: A Foundation for Higher-Order Module Systems. Ph.\u00a0D. dissertation, Carnegie Mellon University (May 1997)"},{"key":"23_CR10","volume-title":"Abstraction and Specification in Program Development","author":"B. Liskov","year":"1986","unstructured":"Liskov, B.: Abstraction and Specification in Program Development. MIT Press, Cambridge (1986)"},{"key":"23_CR11","doi-asserted-by":"crossref","unstructured":"MacQueen, D.B.: Using Dependent Types to Express Modular Structure. In: Proceeding of 13th Annual ACM Symposium on Principles of Programming Languages, St. Petersburg Beach, FL, pp. 277\u2013286 (1986)","DOI":"10.1145\/512644.512670"},{"key":"23_CR12","doi-asserted-by":"crossref","unstructured":"Mitchell, J.C., Plotkin, G.D.: Abstract types have existential type. In: Proceedings of 12th Annual ACM Symposium on Principles of Programming Languages (POPL 1985), New Orleans, Louisiana, pp. 37\u201351 (1985)","DOI":"10.1145\/318593.318606"},{"issue":"3","key":"23_CR13","doi-asserted-by":"publisher","first-page":"470","DOI":"10.1145\/44501.45065","volume":"10","author":"J.C. Mitchell","year":"1988","unstructured":"Mitchell, J.C., Plotkin, G.D.: Abstract types have existential type. ACM Transactions on Programming Languages and Systems\u00a010(3), 470\u2013502 (1988)","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"23_CR14","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/2319.001.0001","volume-title":"The Definition of Standard ML (Revised)","author":"R. Milner","year":"1997","unstructured":"Milner, R., Tofte, M., Harper, R.W., MacQueen, D.: The Definition of Standard ML (Revised). MIT Press, Cambridge (1997)"},{"issue":"4","key":"23_CR15","first-page":"348","volume":"7","author":"C.V. Russo","year":"2000","unstructured":"Russo, C.V.: First-Class Structures for Standard ML. Nordic Journal of Computing\u00a07(4), 348\u2013374 (2000)","journal-title":"Nordic Journal of Computing"},{"key":"23_CR16","doi-asserted-by":"crossref","unstructured":"Russo, C.V.: Recursive Structures for Standard ML. In: Proceedings of International Conference on Functional Programming, September 2001, pp. 50\u201361 (2001)","DOI":"10.1145\/507635.507644"},{"key":"23_CR17","doi-asserted-by":"crossref","unstructured":"Sheldon, M.A., Gifford, D.K.: Static Dependent Types for First-Class Modules. In: Proceedings of ACM Conference on Lisp and Functional Programming, pp. 20\u201329 (1990)","DOI":"10.1145\/91556.91577"},{"key":"23_CR18","unstructured":"Shields, M., Jones, S.P.: First-class modules for haskell. In: Proceedings of 9th International Workshop on Foundations of ObjectOriented Languages (FOOL 9), Portland, OR (January 2002)"},{"key":"23_CR19","series-title":"Texts and Monographs in Computer Science","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-96717-7","volume-title":"Programming with Modula-2","author":"N. Wirth","year":"1982","unstructured":"Wirth, N.: Programming with Modula-2. Texts and Monographs in Computer Science. Springer, Heidelberg (1982)"},{"key":"23_CR20","doi-asserted-by":"publisher","first-page":"224","DOI":"10.1145\/604131.604150","volume-title":"Proceedings of the 30th ACM SIGPLAN Symposium on Principles of Programming Languages","author":"H. Xi","year":"2003","unstructured":"Xi, H., Chen, C., Chen, G.: Guarded Recursive Datatype Constructors. In: Proceedings of the 30th ACM SIGPLAN Symposium on Principles of Programming Languages, New Orleans, LA, pp. 224\u2013235. ACM press, New York (2003)"},{"key":"23_CR21","unstructured":"Xi, H.: The ATS Programming Language, http:\/\/www.ats-lang.org\/"},{"key":"23_CR22","unstructured":"Xi, H.: Dependent Types in Practical Programming. PhD thesis, Carnegie Mellon University (1998), viii+181 pp. pp. viii+189, http:\/\/www.cs.cmu.edu\/~hwxi\/DML\/thesis.ps"},{"key":"23_CR23","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"394","DOI":"10.1007\/978-3-540-24849-1_25","volume-title":"Types for Proofs and Programs","author":"H. Xi","year":"2004","unstructured":"Xi, H.: Applied Type System (extended abstract). In: Berardi, S., Coppo, M., Damiani, F. (eds.) TYPES 2003. LNCS, vol.\u00a03085, pp. 394\u2013408. Springer, Heidelberg (2004)"},{"key":"23_CR24","doi-asserted-by":"publisher","first-page":"214","DOI":"10.1145\/292540.292560","volume-title":"Proceedings of 26th ACM SIGPLAN Symposium on Principles of Programming Languages","author":"H. Xi","year":"1999","unstructured":"Xi, H., Pfenning, F.: Dependent Types in Practical Programming. In: Proceedings of 26th ACM SIGPLAN Symposium on Principles of Programming Languages, pp. 214\u2013227. ACM Press, San Antonio (1999)"}],"container-title":["Lecture Notes in Computer Science","Formal Methods: Foundations and Applications"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-10452-7_23.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,24]],"date-time":"2020-11-24T02:56:07Z","timestamp":1606186567000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-10452-7_23"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009]]},"ISBN":["9783642104510","9783642104527"],"references-count":24,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-10452-7_23","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2009]]}}}