{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,28]],"date-time":"2025-10-28T00:26:34Z","timestamp":1761611194210},"publisher-location":"Berlin, Heidelberg","reference-count":14,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540665403"},{"type":"electronic","value":"9783540481645"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1999]]},"DOI":"10.1007\/10704567_14","type":"book-chapter","created":{"date-parts":[[2006,12,28]],"date-time":"2006-12-28T18:27:08Z","timestamp":1167330428000},"page":"224-243","source":"Crossref","is-referenced-by-count":4,"title":["Run Time Type Information in Mercury"],"prefix":"10.1007","author":[{"given":"Tyson","family":"Dowd","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Zoltan","family":"Somogyi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Fergus","family":"Henderson","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Thomas","family":"Conway","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"David","family":"Jeffery","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"2","key":"14_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 statially typed language. ACM Transactions on Programming Languages and Systems\u00a013(2), 237\u2013268 (1991)","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"14_CR2","doi-asserted-by":"crossref","unstructured":"Aditya, S., Caro, A.: Compiler-directed type reconstruction for polymorphic languages. In: Proceedings of the 1993 ACM Conference on Functional Programming Languages and Computer Architecture, Copenhagen, Denmark (June 1993)","DOI":"10.1145\/165180.165192"},{"key":"14_CR3","doi-asserted-by":"crossref","unstructured":"Aditya, S., Flood, C., Hicks, J.: Garbage collection for strongly-typed languages using run-time type reconstruction. In: Proceedings of the 1994 ACM Conference on Lisp and Functional Programming, June 1994, pp. 12\u201323 (1994)","DOI":"10.1145\/182409.182414"},{"key":"14_CR4","unstructured":"Beierle, C., Meyer, G., Semle, H.: Extending the warren abstract machine to polymorphic order-sorted resolution. In: Proceedings of the International Logic Programming Symposium, pp. 272\u2013286 (1991)"},{"key":"14_CR5","doi-asserted-by":"publisher","first-page":"807","DOI":"10.1002\/spe.4380180902","volume":"18","author":"H. Boehm","year":"1988","unstructured":"Boehm, H., Weiser, M.: Garbage collection in an uncooperative environment. Software-Practice and Experience\u00a018, 807\u2013820 (1988)","journal-title":"Software-Practice and Experience"},{"key":"14_CR6","unstructured":"Demoen, B., de la Banda, M.G., Harvey, W., Marriott, K., Stuckey, P.: Herbrand constraint solving in HAL. Technical Report 99\/18, Department of Software Engineering and Computer Science, University of Melbourne, Melbourne, Australia (1998)"},{"key":"14_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"136","DOI":"10.1007\/BFb0055516","volume-title":"Types in Compilation","author":"M. Elsman","year":"1998","unstructured":"Elsman, M.: Polymorphic equality\u2013no tags required. In: Leroy, X., Ohori, A. (eds.) TIC 1998. LNCS, vol.\u00a01473, pp. 136\u2013155. Springer, Heidelberg (1998)"},{"key":"14_CR8","doi-asserted-by":"crossref","unstructured":"Goldberg, B.: Tag-free garbage collection for strongly typed programming languages. In: Proceedings of the SIGPLAN 1991 Conference on Programming Languages Design and Implementation, Toronto, Ontario, June 1991, pp. 165\u2013176 (1991)","DOI":"10.1145\/113445.113460"},{"key":"14_CR9","doi-asserted-by":"publisher","first-page":"1277","DOI":"10.1002\/(SICI)1097-024X(199611)26:11<1277::AID-SPE62>3.0.CO;2-Y","volume":"26","author":"D.R. Hanson","year":"1996","unstructured":"Hanson, D.R., Raghavachari, M.: A machine-independent debugger. Software \u2013 Practice and Experience\u00a026, 1277\u20131299 (1996)","journal-title":"Software \u2013 Practice and Experience"},{"key":"14_CR10","unstructured":"Henderson, F., Conway, T., Somogyi, Z., Jeffery, D.: The Mercury language reference manual. Technical Report 96\/10, Department of Computer Science, University of Melbourne, Melbourne, Australia (1996)"},{"issue":"1","key":"14_CR11","doi-asserted-by":"publisher","first-page":"25","DOI":"10.1016\/0096-0551(94)90012-4","volume":"20","author":"K. Kwon","year":"1994","unstructured":"Kwon, K., Nadathur, G., Wilson, D.S.: Implementing polymorphic typing in a logic programming language. Computer Languages\u00a020(1), 25\u201342 (1994)","journal-title":"Computer Languages"},{"issue":"1-3","key":"14_CR12","doi-asserted-by":"publisher","first-page":"17","DOI":"10.1016\/S0743-1066(96)00068-4","volume":"26","author":"Z. Somogyi","year":"1996","unstructured":"Somogyi, Z., Henderson, F., Conway, T.: The execution algorithm of Mercury, an efficient purely declarative logic programming language. Journal of Logic Programming\u00a026(1-3), 17\u201364 (1996)","journal-title":"Journal of Logic Programming"},{"key":"14_CR13","doi-asserted-by":"crossref","unstructured":"Tarditi, D., Morrisett, G., Cheng, P., Stone, C., Harper, R., Lee, P.: TIL: A type-directed optimizing compiler for ML. In: Proceedings of the SIGPLAN 1996 Conference on Programming Language Design and Implemantation, New York, May 21-24, pp. 181\u2013192 (1996)","DOI":"10.1145\/231379.231414"},{"key":"14_CR14","doi-asserted-by":"crossref","unstructured":"Tolmach, A.: Tag-free garbage collection using explicit type parameters. In: Proceedings of the SIGPLAN 1994 Conference on Programming Languages Design and Implementation, Orlando, Florida, June 1994, pp. 1\u201311 (1994)","DOI":"10.1145\/182409.182411"}],"container-title":["Lecture Notes in Computer Science","Principles and Practice of Declarative Programming"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/10704567_14","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,3,17]],"date-time":"2019-03-17T23:36:36Z","timestamp":1552865796000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/10704567_14"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1999]]},"ISBN":["9783540665403","9783540481645"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/10704567_14","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1999]]}}}