{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,25]],"date-time":"2025-03-25T23:36:35Z","timestamp":1742945795552,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":14,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642164774"},{"type":"electronic","value":"9783642164781"}],"license":[{"start":{"date-parts":[[2010,1,1]],"date-time":"2010-01-01T00:00:00Z","timestamp":1262304000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2010]]},"DOI":"10.1007\/978-3-642-16478-1_11","type":"book-chapter","created":{"date-parts":[[2010,11,2]],"date-time":"2010-11-02T13:07:22Z","timestamp":1288703242000},"page":"179-197","source":"Crossref","is-referenced-by-count":1,"title":["A Typical Synergy"],"prefix":"10.1007","author":[{"given":"Thomas","family":"van Noort","sequence":"first","affiliation":[]},{"given":"Peter","family":"Achten","sequence":"additional","affiliation":[]},{"given":"Rinus","family":"Plasmeijer","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"issue":"2","key":"11_CR1","doi-asserted-by":"publisher","first-page":"237","DOI":"10.1145\/103135.103138","volume":"13","author":"M. Abadi","year":"1991","unstructured":"Abadi, M., Cardelli, L., Pierce, B., Plotkin, G.: Dynamic typing in a statically typed language. ACM Transactions on Programming Languages and Systems\u00a013(2), 237\u2013268 (1991)","journal-title":"ACM Transactions on Programming Languages and Systems"},{"issue":"1","key":"11_CR2","first-page":"81","volume":"5","author":"M. Abadi","year":"1994","unstructured":"Abadi, M., Cardelli, L., Pierce, B., R\u00e9my, D., Taylor, R.: Dynamic typing in polymorphic languages. Journal of Functional Programming\u00a05(1), 81\u2013110 (1994)","journal-title":"Journal of Functional Programming"},{"key":"11_CR3","first-page":"157","volume-title":"Proceedings of the 7th International Conference on Functional Programming, ICFP 2002","author":"A. Baars","year":"2002","unstructured":"Baars, A., Swierstra, D.: Typing dynamic typing. In: Peyton Jones, S. (ed.) Proceedings of the 7th International Conference on Functional Programming, ICFP 2002, Pittsburgh, PA, USA, pp. 157\u2013166. ACM, New York (2002)"},{"key":"11_CR4","doi-asserted-by":"publisher","first-page":"253","DOI":"10.1145\/800068.802157","volume-title":"Proceedings of the 2nd Symposium on LISP and Functional Programming, LFP 1982","author":"R. Cartwright","year":"1982","unstructured":"Cartwright, R., Donahue, J.: The semantics of lazy (and industrious) evaluation. In: Proceedings of the 2nd Symposium on LISP and Functional Programming, LFP 1982, Pittsburgh, PA, USA, pp. 253\u2013264. ACM, New York (1982)"},{"key":"11_CR5","doi-asserted-by":"publisher","first-page":"90","DOI":"10.1145\/581690.581698","volume-title":"Proceedings of the 6th Haskell Workshop, Haskell \u201902","author":"J. Cheney","year":"2002","unstructured":"Cheney, J., Hinze, R.: A lightweight implementation of generics and dynamics. In: Chakravarty, M. (ed.) Proceedings of the 6th Haskell Workshop, Haskell \u201902, Pittsburgh, PA, USA, pp. 90\u2013104. ACM, New York (2002)"},{"key":"11_CR6","unstructured":"Cheney, J., Hinze, R.: First-class phantom types. Technical Report TR2003-1901, Cornell University (2003)"},{"key":"11_CR7","first-page":"297","volume-title":"Proceedings of the 35th Symposium on Principles of Programming Languages, POPL 2008","author":"P. Johann","year":"2008","unstructured":"Johann, P., Ghani, N.: Foundations for structured programming with GADTs. In: Necula, G., Wadler, P. (eds.) Proceedings of the 35th Symposium on Principles of Programming Languages, POPL 2008, San Francisco, CA, USA, pp. 297\u2013308. ACM, New York (2008)"},{"key":"11_CR8","doi-asserted-by":"crossref","first-page":"96","DOI":"10.1145\/1017472.1017488","volume-title":"Proceedings of the 8th Haskell Workshop, Haskell 2004","author":"O. Kiselyov","year":"2004","unstructured":"Kiselyov, O., L\u00e4mmel, R., Schupke, K.: Strongly typed heterogeneous collections. In: Nilsson, H. (ed.) Proceedings of the 8th Haskell Workshop, Haskell 2004, Snowbird, UT, USA, pp. 96\u2013107. ACM, New York (2004)"},{"issue":"5","key":"11_CR9","doi-asserted-by":"publisher","first-page":"1411","DOI":"10.1145\/186025.186031","volume":"16","author":"K. L\u00e4ufer","year":"1994","unstructured":"L\u00e4ufer, K., Odersky, M.: Polymorphic type inference and abstract data types. ACM Transactions on Programming Languages and Systems\u00a016(5), 1411\u20131430 (1994)","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"11_CR10","first-page":"50","volume-title":"Proceedings of the 11th International Conference on Functional Programming, ICFP 2006, Portland, Oregon, USA","author":"S.L. Peyton Jones","year":"2006","unstructured":"Peyton Jones, S.L., Vytiniotis, D., Weirich, S., Washburn, G.: Simple unification-based type inference for GADTs. In: Lawall, J. (ed.) Proceedings of the 11th International Conference on Functional Programming, ICFP 2006, Portland, Oregon, USA, pp. 50\u201361. ACM, New York (2006)"},{"key":"11_CR11","series-title":"Lecture Notes in Computer Science","first-page":"169","volume-title":"Implementation of Functional Languages","author":"M. Pil","year":"2000","unstructured":"Pil, M.: Dynamic types and type dependent functions. In: Koopman, P., Clack, C. (eds.) IFL 1999. LNCS, vol.\u00a01868, pp. 169\u2013185. Springer, Heidelberg (2000)"},{"key":"11_CR12","first-page":"341","volume-title":"Proceedings of the 14th International Conference on Functional Programming, ICFP 2009, Edinburgh, Scotland","author":"T. Schrijvers","year":"2009","unstructured":"Schrijvers, T., Peyton Jones, S., Sulzmann, M., Vytiniotis, D.: Complete and decidable type inference for GADTs. In: Hutton, G., Tolmach, A. (eds.) Proceedings of the 14th International Conference on Functional Programming, ICFP 2009, Edinburgh, Scotland, pp. 341\u2013352. ACM, New York (2009)"},{"key":"11_CR13","doi-asserted-by":"crossref","unstructured":"Vervoort, M., Plasmeijer, R.: Lazy dynamic input\/output in the lazy functional language Clean. In: Trinder, P., Michaelson, G.J., Pe\u00f1a, R. (eds.) IFL 2003. LNCS, vol.\u00a03145, pp. 101\u2013117. Springer, Heidelberg (2004)","DOI":"10.1007\/3-540-44854-3_7"},{"key":"11_CR14","first-page":"224","volume-title":"Proceedings of the 30th Symposium on Principles of Programming Languages, POPL 2003, New Orleans, LA, USA","author":"H. Xi","year":"2003","unstructured":"Xi, H., Chen, C., Chen, G.: Guarded recursive datatype constructors. In: Morrisett, G., Aiken, A. (eds.) Proceedings of the 30th Symposium on Principles of Programming Languages, POPL 2003, New Orleans, LA, USA, pp. 224\u2013235. ACM, New York (2003)"}],"container-title":["Lecture Notes in Computer Science","Implementation and Application of Functional Languages"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-16478-1_11","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,11,12]],"date-time":"2021-11-12T23:18:44Z","timestamp":1636759124000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-16478-1_11"}},"subtitle":["Dynamic Types and Generalised Algebraic Datatypes"],"short-title":[],"issued":{"date-parts":[[2010]]},"ISBN":["9783642164774","9783642164781"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-16478-1_11","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2010]]}}}