{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,7]],"date-time":"2024-09-07T18:12:36Z","timestamp":1725732756975},"publisher-location":"Berlin, Heidelberg","reference-count":15,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540664505"},{"type":"electronic","value":"9783662010693"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1999]]},"DOI":"10.1007\/978-3-662-01069-3_54","type":"book-chapter","created":{"date-parts":[[2013,6,20]],"date-time":"2013-06-20T10:47:02Z","timestamp":1371725222000},"page":"350-359","source":"Crossref","is-referenced-by-count":0,"title":["Combining Strict and Soft Typing in Functional Programming"],"prefix":"10.1007","author":[{"given":"Manfred","family":"Widera","sequence":"first","affiliation":[]},{"given":"Christoph","family":"Beierle","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"54_CR1","doi-asserted-by":"publisher","first-page":"163","DOI":"10.1145\/174675.177847","volume-title":"Conference Record of POPL 94: 21st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages","author":"A Aiken","year":"1994","unstructured":"A. Aiken, E. L. Wimmers, and T. K. Lakshman. Soft typing with conditional types. In Conference Record of POPL \u201884: 21st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, pages 163\u2013173, Portland, Oregon, Jan. 1994."},{"key":"54_CR2","first-page":"31","volume-title":"Functional Programming and Computer Architecture","author":"AS Aiken","year":"1993","unstructured":"A. S. Aiken and E. L. Wimmers Type inclusion constraints and type inference. In Functional Programming and Computer Architecture, pages 31\u201341. ACM Press, June 1993."},{"key":"54_CR3","first-page":"278","volume-title":"Proc. SIGPLAN 91 Conference on Programming Language Design and Implementation","author":"R Cartwright","year":"1991","unstructured":"R. Cartwright and M. Fagan. Soft typing. In Proc. SIGPLAN \u201881 Conference on Programming Language Design and Implementation, pages 278\u2013292, June 1991."},{"key":"54_CR4","doi-asserted-by":"publisher","first-page":"687","DOI":"10.1007\/3-540-57887-0_121","volume-title":"Theoretical Aspects of Computer Software: International Symposium, volume 789 of Lecture Notes in Computer Science","author":"FM Damm","year":"1994","unstructured":"F. M. Damm. Subtyping with union types, intersection types and recursive types. In M. Hagiya and J. C. Mitchell, editors, Theoretical Aspects of Computer Software: International Symposium, volume 789 of Lecture Notes in Computer Science, pages 687\u2013706. Springer-Verlag, Apr. 1994."},{"key":"54_CR5","doi-asserted-by":"crossref","unstructured":"C. Flanagan, M. Flatt, S. Krishnamurthi, S. Weirich, and M. Felleisen. Catching bugs in the web of program invariants. In Proceedings of the ACM SIGPLAN \u201886 Conference on Programming Language Design and Implementation, pages 23\u201332, Philadelphia, Pennsylvania, 21\u201324 May 1996. SIGPLAN Notices 31(5), May 1996.","DOI":"10.1145\/249069.231387"},{"key":"54_CR6","unstructured":"P. Hudak, J. Peterson, and J. H. Fasel. A Gentle Introduction to Haskell-Version 1.4 -, Mar. 1997."},{"key":"54_CR7","unstructured":"R. Kelsey, W. Clinger, and J. R. (Editors). Revised 5 Report on the Algorithmic Language Scheme, Feb. 1998."},{"key":"54_CR8","volume-title":"Prentice Hall","author":"BW Kernighan","year":"1988","unstructured":"B. W. Kernighan and D. M. Ritchie. The C Programming Language, Second Edition, ANSI C. Prentice Hall, 1988."},{"issue":"3","key":"54_CR9","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. J. Comput. Syst. Sci., 17 (3): 348\u2013375, Dec. 1978.","journal-title":"J. Comput. Syst. Sci."},{"issue":"23","key":"54_CR10","doi-asserted-by":"publisher","first-page":"197","DOI":"10.1016\/0167-6423(94)00020-4","volume":"23","author":"GS Smith","year":"1994","unstructured":"G. S. Smith. Principal type schemes for functional programs with overloading and subtyping. Science of Computer Programming, 23 (2\u20133): 197\u2013226, Dec. 1994.","journal-title":"Science of Computer Programming"},{"key":"54_CR11","volume-title":"Addison Wesley","author":"B Stroustrup","year":"1997","unstructured":"B. Stroustrup. The C++ Programming Language, Third Edition. Addison Wesley, 1997."},{"issue":"4","key":"54_CR12","doi-asserted-by":"publisher","first-page":"586","DOI":"10.1145\/321850.321856","volume":"21","author":"PS Wang","year":"1974","unstructured":"P. S. Wang. The undecidability of the existence of zeros of real elementary functions. Journal of the ACM, 21 (4): 586\u2013589, Oct. 1974.","journal-title":"Journal of the ACM"},{"key":"54_CR13","volume-title":"Prentice Hall","author":"A Wikstr\u00f6m","year":"1987","unstructured":"A. Wikstr\u00f6m. Functional Programming using Standard ML. Prentice Hall, 1987."},{"key":"54_CR14","volume-title":"Practical Soft Typing","author":"AK Wright","year":"1994","unstructured":"A. K. Wright. Practical Soft Typing. PhD thesis, Rice University, Houston, Texas, Aug. 1994."},{"key":"54_CR15","doi-asserted-by":"publisher","first-page":"250","DOI":"10.1145\/182409.182485","volume-title":"Proceedings of the 1994 ACM Conference on Lisp and Functional Programming","author":"AK Wright","year":"1994","unstructured":"A. K. Wright and R. Cartwright. A practical soft type system for scheme. In Proceedings of the 1994 ACM Conference on Lisp and Functional Programming, pages 250\u2013262, June 1994."}],"container-title":["Informatik aktuell","Informatik\u201999"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-662-01069-3_54","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,7,15]],"date-time":"2019-07-15T19:25:58Z","timestamp":1563218758000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-662-01069-3_54"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1999]]},"ISBN":["9783540664505","9783662010693"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/978-3-662-01069-3_54","relation":{},"ISSN":["1431-472X"],"issn-type":[{"type":"print","value":"1431-472X"}],"subject":[],"published":{"date-parts":[[1999]]}}}