{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T00:05:25Z","timestamp":1725494725532},"publisher-location":"Berlin, Heidelberg","reference-count":9,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540662297"},{"type":"electronic","value":"9783540485155"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1999]]},"DOI":"10.1007\/3-540-48515-5_11","type":"book-chapter","created":{"date-parts":[[2007,11,13]],"date-time":"2007-11-13T21:25:55Z","timestamp":1194989155000},"page":"169-185","source":"Crossref","is-referenced-by-count":17,"title":["Dynamic Types and Type Dependent Functions"],"prefix":"10.1007","author":[{"given":"Marco","family":"Pil","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2002,3,28]]},"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":"M. Abadi, L. Cardelli, B. Pierce, and G. Plotkin. Dynamic Typing in a Statically Typed Language. ACM Transactions on Programming Languages and Systems, 13(2):237\u2013268, 1991.","journal-title":"ACM Transactions on Programming Languages and Systems"},{"issue":"1","key":"11_CR2","doi-asserted-by":"publisher","first-page":"111","DOI":"10.1017\/S095679680000126X","volume":"5","author":"M. Abadi","year":"1995","unstructured":"M. Abadi, L. Cardelli, B. Pierce, and D. R\u00e9my. Dynamic Typing in Polymorphic Languages. Journal of Functional Programming, 5(1):111\u2013130, 1995.","journal-title":"Journal of Functional Programming"},{"key":"11_CR3","doi-asserted-by":"crossref","first-page":"579","DOI":"10.1017\/S0960129500070109","volume":"6","author":"E. Barendsen","year":"1996","unstructured":"E. Barendsen and J. Smetsers. Uniqueness Typing for Functional Languages with Graph Rewriting Semantics. Mathematical Structures in Computer Science, 6:579\u2013612, 1996.","journal-title":"Mathematical Structures in Computer Science"},{"unstructured":"A.J.T. Davie, K. Hammond, and J.-J. Quintela. Efficient Persistent Haskell, In Draft Proc. 10th International Workshop on the Implementation of Functional Languages (IFL\u2019 98), London, England, pages 183\u2013194, 1998.","key":"11_CR4"},{"unstructured":"M.C.J.D. van Eekelen and M.J. Plasmeijer. Functional Programming and Parallel Graph Rewriting, Addison-Wesley, 1993.","key":"11_CR5"},{"unstructured":"M.J.C.D. van Eekelen and M.J. Plasmeijer. Concurrent Clean 1.0 Language Report, Computing Science Institute, University of Nijmegen, http:\/\/www.cs.kun.nl\/~clean\/Clean.Cleanbook.html .","key":"11_CR6"},{"issue":"4","key":"11_CR7","doi-asserted-by":"crossref","first-page":"431","DOI":"10.1017\/S0956796800000848","volume":"3","author":"X. Leroy","year":"1993","unstructured":"X. Leroy and M. Mauny. Dynamics in ML. Journal of Functional Programming, 3(4):431\u2013463, 1993.","journal-title":"Journal of Functional Programming"},{"key":"11_CR8","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"233","DOI":"10.1007\/3-540-63237-9_28","volume-title":"First Class File I\/O","author":"M. Pil","year":"1997","unstructured":"M. Pil. First Class File I\/O. In Proc. 8th. International Workshop on the Implementation of Functional Languages (IFL\u2019 96), Bad Godesberg, Germany, September 1996, volume 1268 of LNCS, pages 233\u2013246. Springer-Verlag, 1997."},{"key":"11_CR9","doi-asserted-by":"crossref","first-page":"23","DOI":"10.1145\/321250.321253","volume":"12","author":"J. Robinson","year":"1965","unstructured":"J. Robinson. A Machine-Oriented Logic Based on the Resolution Principle. Journal of the Association For Computing Machinery 12:23\u201341, 1965.","journal-title":"Journal of the Association For Computing Machinery"}],"container-title":["Lecture Notes in Computer Science","Implementation of Functional Languages"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-48515-5_11","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,28]],"date-time":"2020-04-28T02:30:17Z","timestamp":1588041017000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-48515-5_11"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1999]]},"ISBN":["9783540662297","9783540485155"],"references-count":9,"URL":"https:\/\/doi.org\/10.1007\/3-540-48515-5_11","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[1999]]}}}