{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,8]],"date-time":"2024-09-08T01:21:42Z","timestamp":1725758502888},"publisher-location":"Berlin, Heidelberg","reference-count":20,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642452833"},{"type":"electronic","value":"9783642452840"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013]]},"DOI":"10.1007\/978-3-642-45284-0_11","type":"book-chapter","created":{"date-parts":[[2013,11,25]],"date-time":"2013-11-25T00:54:34Z","timestamp":1385340874000},"page":"157-172","source":"Crossref","is-referenced-by-count":1,"title":["The Generalized Intensional Transformation for Implementing Lazy Functional Languages"],"prefix":"10.1007","author":[{"given":"Georgios","family":"Fourtounis","sequence":"first","affiliation":[]},{"given":"Nikolaos","family":"Papaspyrou","sequence":"additional","affiliation":[]},{"given":"Panos","family":"Rondogiannis","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"11_CR1","doi-asserted-by":"publisher","first-page":"300","DOI":"10.1109\/12.48862","volume":"39","author":"R.S.N. Arvind","year":"1990","unstructured":"Arvind, R.S.N.: Executing a program on the MIT tagged-token dataflow architecture. IEEE Transactions on Computers\u00a039, 300\u2013318 (1990)","journal-title":"IEEE Transactions on Computers"},{"key":"11_CR2","doi-asserted-by":"crossref","unstructured":"Ashcroft, E.A., Faustini, A.A., Jagannathan, R., Wadge, W.W.: Multidimensional Programming. Oxford University Press (1995)","DOI":"10.1093\/oso\/9780195075977.001.0001"},{"key":"11_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"58","DOI":"10.1007\/3-540-63237-9_19","volume-title":"Implementation of Functional Languages","author":"U. Boquist","year":"1997","unstructured":"Boquist, U., Johnsson, T.: The GRIN project: A highly optimising back end for lazy functional languages. In: Kluge, W. (ed.) IFL 1996. LNCS, vol.\u00a01268, pp. 58\u201384. Springer, Heidelberg (1997)"},{"issue":"1","key":"11_CR4","doi-asserted-by":"publisher","first-page":"123","DOI":"10.1007\/s11786-008-0047-5","volume":"2","author":"A. Charalambidis","year":"2008","unstructured":"Charalambidis, A., Grivas, A., Papaspyrou, N.S., Rondogiannis, P.: Efficient intensional implementation for lazy functional languages. Mathematics in Computer Science\u00a02(1), 123\u2013141 (2008)","journal-title":"Mathematics in Computer Science"},{"issue":"1","key":"11_CR5","doi-asserted-by":"publisher","first-page":"47","DOI":"10.1017\/S0956796808006746","volume":"19","author":"A. Encina De La","year":"2009","unstructured":"De La Encina, A., Pe\u00f1a, R.: From natural semantics to C: A formal derivation of two STG machines. Journal of Functional Programming\u00a019(1), 47\u201394 (2009)","journal-title":"Journal of Functional Programming"},{"key":"11_CR6","unstructured":"Fourtounis, G., Papaspyrou, N., Rondogiannis, P.: The intensional transformation for functional languages with user-defined data types. In: Proceedings of the 8th Panhellenic Logic Symposium, pp. 38\u201342 (2011)"},{"key":"11_CR7","unstructured":"Friedman, D.P., Wise, D.S.: CONS should not evaluate its arguments. In: Proceedings of the International Colloquium on Automata, Languages and Programming, pp. 257\u2013284 (1976)"},{"key":"11_CR8","first-page":"95","volume-title":"Proceedings of the 3rd ACM SIGACT-SIGPLAN Symposium on Principles on Programming Languages","author":"P. Henderson","year":"1976","unstructured":"Henderson, P., Jr. Morris, J.H.: A lazy evaluator. In: Proceedings of the 3rd ACM SIGACT-SIGPLAN Symposium on Principles on Programming Languages, pp. 95\u2013103. ACM, New York (1976)"},{"key":"11_CR9","doi-asserted-by":"crossref","unstructured":"Kirkham, C., Gurd, J., Watson, I.: The Manchester prototype dataflow computer. Communications of the ACM, 34\u201352 (1985)","DOI":"10.1145\/2465.2468"},{"key":"11_CR10","unstructured":"Krivine, J.L.: Un interpr\u00e9teur du lambda-calcul, http:\/\/www.pps.univ-paris-diderot.fr\/~krivine\/articles\/interprt.pdf"},{"key":"11_CR11","doi-asserted-by":"crossref","unstructured":"Partain, W.: The nofib benchmark suite of Haskell programs. In: Proceedings of the 1992 Glasgow Workshop on Functional Programming, pp. 195\u2013202 (1993)","DOI":"10.1007\/978-1-4471-3215-8_17"},{"key":"11_CR12","doi-asserted-by":"crossref","first-page":"560","DOI":"10.1145\/55364.55419","volume-title":"Proceedings of the 2nd International Conference on Supercomputing","author":"K. Pingali","year":"1988","unstructured":"Pingali, K.: Lazy evaluation and the logic variable. In: Proceedings of the 2nd International Conference on Supercomputing, pp. 560\u2013572. ACM, New York (1988)"},{"key":"11_CR13","doi-asserted-by":"crossref","first-page":"13","DOI":"10.1145\/1595768.1595774","volume-title":"Proceedings of the 1st International Workshop on Context-aware Software Technology and Applications","author":"J. Plaice","year":"2009","unstructured":"Plaice, J., Mancilla, B.: The practical uses of TransLucid. In: Proceedings of the 1st International Workshop on Context-aware Software Technology and Applications, pp. 13\u201316. ACM, New York (2009)"},{"key":"11_CR14","doi-asserted-by":"publisher","first-page":"125","DOI":"10.1007\/s10990-006-8611-7","volume":"19","author":"F. Pottier","year":"2006","unstructured":"Pottier, F., Gauthier, N.: Polymorphic typed defunctionalization and concretization. Higher-Order and Symbolic Computation\u00a019, 125\u2013162 (2006)","journal-title":"Higher-Order and Symbolic Computation"},{"key":"11_CR15","doi-asserted-by":"crossref","unstructured":"Reynolds, J.C.: Definitional interpreters for higher-order programming languages. In: Proceedings of the 25th ACM National Conference, pp. 717\u2013740. ACM (1972)","DOI":"10.1145\/800194.805852"},{"issue":"1","key":"11_CR16","doi-asserted-by":"publisher","first-page":"73","DOI":"10.1017\/S0956796897002633","volume":"7","author":"P. Rondogiannis","year":"1997","unstructured":"Rondogiannis, P., Wadge, W.W.: First-order functional languages and intensional logic. Journal of Functional Programming\u00a07(1), 73\u2013101 (1997)","journal-title":"Journal of Functional Programming"},{"issue":"5","key":"11_CR17","doi-asserted-by":"publisher","first-page":"527","DOI":"10.1017\/S0956796899003445","volume":"9","author":"P. Rondogiannis","year":"1999","unstructured":"Rondogiannis, P., Wadge, W.W.: Higher-order functional languages and intensional logic. Journal of Functional Programming\u00a09(5), 527\u2013564 (1999)","journal-title":"Journal of Functional Programming"},{"key":"11_CR18","unstructured":"Traub, K.R.: A compiler for the MIT tagged-token dataflow architecture. Technical report, Massachusetts Institute of Technology, Cambridge, MA, USA (1986)"},{"key":"11_CR19","unstructured":"Wadge, W., Aschroft, E.A.: Lucid, the Dataflow Programming Language. Academic Press (1985)"},{"key":"11_CR20","unstructured":"Yaghi, A.A.: The Intensional Implementation Technique for Functional Languages. Ph.D. thesis, Department of Computer Science, University of Warwick, Coventry, UK (1984)"}],"container-title":["Lecture Notes in Computer Science","Practical Aspects of Declarative Languages"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-45284-0_11","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,3,17]],"date-time":"2022-03-17T08:32:23Z","timestamp":1647505943000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-45284-0_11"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783642452833","9783642452840"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-45284-0_11","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2013]]}}}