{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,8]],"date-time":"2024-09-08T03:17:43Z","timestamp":1725765463011},"publisher-location":"London","reference-count":13,"publisher":"Springer London","isbn-type":[{"type":"print","value":"9783540197355"},{"type":"electronic","value":"9781447137948"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1992]]},"DOI":"10.1007\/978-1-4471-3794-8_9","type":"book-chapter","created":{"date-parts":[[2013,12,19]],"date-time":"2013-12-19T11:23:28Z","timestamp":1387452208000},"page":"133-147","source":"Crossref","is-referenced-by-count":0,"title":["Parameterized Interfaces are Interfaces \u2014 AIAS"],"prefix":"10.1007","author":[{"given":"Sophia","family":"Drossopoulou","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ross","family":"Paterson","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Susan","family":"Eisenbach","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"9_CR1","volume-title":"Technical Report","author":"C Luca","year":"1989","unstructured":"Luca Cardelli. Typeful programming. Technical Report 45, Digital, May 1989."},{"key":"9_CR2","unstructured":"Luca Cardelli and Peter Wegner. On understanding types, data abstraction and polymorphism. ACM Computing Surveys, 86, 1986."},{"key":"9_CR3","volume-title":"Technical Report SRICSL-88-9","author":"JA Goguen","year":"1988","unstructured":"Joseph A. Goguen and Timothy Winkler. Introducing OBJ3. Technical Report SRICSL-88\u20139, SRI International, August 1988."},{"key":"9_CR4","volume-title":"Imperial College","author":"Y Guo","year":"1991","unstructured":"Yike Guo and Helen Pull. FALCON: Functional and logic language with constraints \u2014 language definition. Technical Report IC\/FPG\/Phoenix\/15\/2, Department of Computing, Imperial College, February 1991."},{"key":"9_CR5","first-page":"341","volume-title":"17th Annual Acm Symposium on Principles of Programming Languages","author":"R Harper","year":"1990","unstructured":"Robert Harper, John C. Mitchell, and Eugenio Moggi. Higher-order modules and the phase distinction. In 17th Annual ACM Symposium on Principles of Programming Languages, pages 341\u2013354, 1990."},{"key":"9_CR6","volume-title":"Department of Computer Science","author":"R Technical","year":"1990","unstructured":"Technical Report YALEU\/DCS\/RR777, Yale University, Department of Computer Science, April 1990."},{"key":"9_CR7","volume-title":"ACM Symposium on Lisp and Functional Programming","author":"M David","year":"1984","unstructured":"David MacQueen. Modules for Standard ML. In ACM Symposium on Lisp and Functional Programming, Austin, 1984."},{"issue":"3","key":"9_CR8","doi-asserted-by":"publisher","first-page":"348","DOI":"10.1016\/0022-0000(78)90014-4","volume":"17","author":"M Robin","year":"1978","unstructured":"Robin Milner. A theory of type polymorphism in programming. Journal of Computer and System Sciences, 17 (3): 348\u2013375, 1978.","journal-title":"Journal of Computer and System Sciences"},{"key":"9_CR9","volume-title":"University of Edinburgh","author":"M Robin","year":"1987","unstructured":"Robin Milner. Standard ML. Technical report, University of Edinburgh, 1987."},{"key":"9_CR10","volume-title":"And Ross Paterson. Exis case study in FALCON. Technical Report IC\/FPG\/Phoenix\/3\/2","author":"H Pull","year":"1991","unstructured":"Helen Pull, Sophia Drossopoulou, Yike Guo, and Ross Paterson. EXIS case study in FALCON. Technical Report IC\/FPG\/Phoenix\/3\/2, Department of Computing, Imperial College, February 1991."},{"key":"9_CR11","volume-title":"And Andrzej Tarlecki. Towards formal development of programs from algebraic specifications: Parameterisation revisited. Technical Report 6\/90","author":"DT Sanella","year":"1990","unstructured":"Don T. Sanella, Stefan Sokolowski, and Andrzej Tarlecki. Towards formal development of programs from algebraic specifications: Parameterisation revisited. Technical Report 6\/90, FB Informatik, Universit\u00e4t Bremen, 1990."},{"key":"9_CR12","doi-asserted-by":"crossref","unstructured":"Donald Sanella and Andrzej Tarlecki. A kernel specification formalism with higher-order parameterisation. In 7th Workshop on Specification of Abstract Data Types,Lecture Notes in Computer Science. Springer, 1991. to appear.","DOI":"10.1007\/3-540-54496-8_15"},{"key":"9_CR13","unstructured":"US Department of Defense. Reference Manual for the Ada Programming Language,1983. ANSI\/MIL-STD-1815 A."}],"container-title":["Workshops in Computing","Declarative Programming, Sasbachwalden 1991"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-1-4471-3794-8_9","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,25]],"date-time":"2019-05-25T17:21:19Z","timestamp":1558804879000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-1-4471-3794-8_9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1992]]},"ISBN":["9783540197355","9781447137948"],"references-count":13,"URL":"https:\/\/doi.org\/10.1007\/978-1-4471-3794-8_9","relation":{},"ISSN":["1431-1682"],"issn-type":[{"type":"print","value":"1431-1682"}],"subject":[],"published":{"date-parts":[[1992]]}}}