{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,9]],"date-time":"2024-09-09T16:21:23Z","timestamp":1725898883681},"publisher-location":"Berlin, Heidelberg","reference-count":17,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540591320"},{"type":"electronic","value":"9783540491989"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1995]]},"DOI":"10.1007\/bfb0014424","type":"book-chapter","created":{"date-parts":[[2005,12,11]],"date-time":"2005-12-11T13:08:44Z","timestamp":1134306524000},"page":"116-131","source":"Crossref","is-referenced-by-count":3,"title":["Types, subtypes, and ASL+"],"prefix":"10.1007","author":[{"given":"David","family":"Aspinall","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,26]]},"reference":[{"key":"5_CR1","doi-asserted-by":"crossref","unstructured":"David R. Aspinall. Subtyping with singleton types. Paper given at Computer Science Logic '94, Kazimierz, Poland, 1994.","DOI":"10.1007\/BFb0022243"},{"key":"5_CR2","unstructured":"David R.Aspinall. Algebraic specification in a type-theoretic setting. Forthcoming PhD thesis, Department of Computer Science, University of Edinburgh, 1995."},{"key":"5_CR3","doi-asserted-by":"publisher","first-page":"105","DOI":"10.1016\/0890-5401(91)90023-U","volume":"92","author":"A. Avron","year":"1991","unstructured":"Arnon Avron. Simple consequence relations. Information and Computation, 92:105\u2013139, 1991.","journal-title":"Information and Computation"},{"key":"5_CR4","doi-asserted-by":"publisher","first-page":"172","DOI":"10.1016\/0890-5401(91)90055-7","volume":"93","author":"V. Breazu-Tannen","year":"1991","unstructured":"Val Breazu-Tannen, Thierry Coquand, Carl A. Gunter, and Andre Scedrov. Inheritance as implicit coercion. Information and Computation, 93:172\u2013221, 1991.","journal-title":"Information and Computation"},{"key":"5_CR5","doi-asserted-by":"crossref","unstructured":"Luca Cardelli. Structural subtyping and the notion of power type. In Fifteenth Annual ACM Symposium on Principles of Programming Languages, 1988.","DOI":"10.1145\/73560.73566"},{"issue":"4","key":"5_CR6","doi-asserted-by":"crossref","first-page":"417","DOI":"10.1017\/S0956796800000198","volume":"1","author":"L. Cardelli","year":"1991","unstructured":"Luca Cardelli and Guiseppe Longo. A semantic basis for Quest. Journal of Functional Programming, 1(4):417\u2013458, 1991.","journal-title":"Journal of Functional Programming"},{"key":"5_CR7","unstructured":"Maria Victoria Cengarle and Martin Wirsing. A calculus of parameterization for algebraic specifications. Technical Report 94\/198, Department of Computer Science, Monsahs University, 1994."},{"key":"5_CR8","doi-asserted-by":"crossref","first-page":"55","DOI":"10.1017\/S0960129500001134","volume":"2","author":"P. Curien","year":"1992","unstructured":"Pierre-Louis Curien and Giorgio Ghelli. Coherence of subsumption, minimum typing and type-checking in F\u2264. Mathematical Structures in Computer Science, 2:55\u201391, 1992. Also in Carl A. Gunter and John C. Mitchell, editors, Theoretical Aspects of Object-Oriented Programming: Types, Semantics, and Language Design (MIT Press, 1994).","journal-title":"Mathematical Structures in Computer Science"},{"key":"5_CR9","doi-asserted-by":"crossref","unstructured":"N. Dershowitz and J.-P. Jouannaud. Rewrite systems. In van Leeuwen et.al., editor, Handbook of Theoretical Computer Science, chapter 6. North-Holland, 1990.","DOI":"10.1016\/B978-0-444-88074-1.50011-1"},{"key":"5_CR10","unstructured":"Sophia Drossopoulou and Ross Paterson. Higher order module parameterization. Technical report, Department of Computing, Imperial College, October 1993."},{"key":"5_CR11","unstructured":"Jorge Farr\u00e9s-Cassals. Verification in ASL and related Specification Languages. PhD thesis, Edinburgh University, 1992."},{"key":"5_CR12","doi-asserted-by":"publisher","first-page":"95","DOI":"10.1145\/147508.147524","volume":"39","author":"J. A. Goguen","year":"1992","unstructured":"J. A. Goguen and R. M. Burstall. Institutions: abstract model theory for specification and programming. Journal of the ACM, 39:95\u2013146, 1992.","journal-title":"Journal of the ACM"},{"key":"5_CR13","doi-asserted-by":"crossref","unstructured":"Bernd Krieg-Br\u00fcckner and Donald Sannella. Structuring specifications in-the-large and in-the-small: Higher-order functions, dependent types and inheritance in SPECTRAL. In TAPSOFT '91: Proc. Joint Conf. on Theory and Practice of Software Development, Brighton, 1991.","DOI":"10.1007\/3540539816_74"},{"key":"5_CR14","doi-asserted-by":"crossref","unstructured":"Benjamin C. Pierce. Bounded quantification is undecidable. Information and Computation, 112(1), July 1994.","DOI":"10.1006\/inco.1994.1055"},{"key":"5_CR15","doi-asserted-by":"publisher","first-page":"689","DOI":"10.1007\/BF01191893","volume":"29","author":"D. T. Sannella","year":"1992","unstructured":"Donald T. Sannella, Stefan Sokolowski, and Andrzej Tarlecki. Toward formal development of programs from algebraic specifications: Parameterisation revisited. Acta Informatica, 29:689\u2013736, 1992.","journal-title":"Acta Informatica"},{"issue":"2\/3","key":"5_CR16","doi-asserted-by":"publisher","first-page":"165","DOI":"10.1016\/0890-5401(88)90008-9","volume":"76","author":"D. T. Sannella","year":"1988","unstructured":"Donald T. Sannella and Andrzej Tarlecki. Specifications in an arbitrary institution. Information and Computation, 76(2\/3):165\u2013210, 1988.","journal-title":"Information and Computation"},{"key":"5_CR17","volume-title":"Technical report","author":"S. Sokolowski","year":"1989","unstructured":"Stefan Sokolowski. Parametricity in algebraic specifications: A case study. Technical report, Institute of Computer Science, Polish Academy of Sciences, Gda\u0144sk, 1989."}],"container-title":["Lecture Notes in Computer Science","Recent Trends in Data Type Specification"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0014424","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,11]],"date-time":"2020-04-11T10:03:20Z","timestamp":1586599400000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0014424"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1995]]},"ISBN":["9783540591320","9783540491989"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/bfb0014424","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1995]]}}}