{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T16:09:01Z","timestamp":1725466141422},"publisher-location":"Berlin, Heidelberg","reference-count":27,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540643029"},{"type":"electronic","value":"9783540697220"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1998]]},"DOI":"10.1007\/bfb0053568","type":"book-chapter","created":{"date-parts":[[2006,6,7]],"date-time":"2006-06-07T05:40:18Z","timestamp":1149658818000},"page":"139-153","source":"Crossref","is-referenced-by-count":14,"title":["The functional imperative: Shape!"],"prefix":"10.1007","author":[{"given":"C. B.","family":"Jay","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"P. A.","family":"Steckler","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2006,5,23]]},"reference":[{"key":"10_CR1","doi-asserted-by":"crossref","unstructured":"J.M. Ashley. The effectiveness of flow analysis for inlining. In Proc. 1997 ACM SIGPLAN International Conf. on Functional Programming (ICFP'97), pages 99\u2013111, June 1997.","DOI":"10.1145\/258948.258959"},{"key":"10_CR2","doi-asserted-by":"crossref","unstructured":"G. Bell\u00e9, C. B. Jay, and E. Moggi. Punctorial ML. In PLILP'96, volume 1140 of LNCS, pages 32\u201346. Springer Verlag, 1996. TR SOCS-96.08.","DOI":"10.1007\/3-540-61756-6_75"},{"key":"10_CR3","unstructured":"R. Bird and P. Wadler. Introduction to Functional Programming. International Series in Computer Science. Prentice Hall, 1988."},{"key":"10_CR4","doi-asserted-by":"crossref","unstructured":"P. Cousot and R. Cousot. Abstract interpretation: A unified lattice model for static analysis of programs by construction of approximation of fix-points. In Conf. Record of the 4th ACM Symposium on Principles of Pro-gramming Languages, pages 238\u2013252, 1977.","DOI":"10.1145\/512950.512973"},{"key":"10_CR5","doi-asserted-by":"crossref","unstructured":"J. Darlington, Y.K Guo, To H.W., and Jing Y. Functional skeletons for parallel coordination. In Proceedings of Europar 95, 1995.","DOI":"10.1007\/BFb0020455"},{"key":"10_CR6","doi-asserted-by":"crossref","unstructured":"R. Harper and G. Morrisett. Compiling polymorphism using intensional type analysis. In Conference Record of POPL'95: 22nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, pages 130\u2013141, San Francisco, California, January 1995.","DOI":"10.1145\/199448.199475"},{"key":"10_CR7","doi-asserted-by":"crossref","unstructured":"P. Hudak, S. Peyton-Jones, and P. Wadler. Report on the programming language Haskell: a non-strict, purely functional language. SIGPLAN No-tices, 1992.","DOI":"10.1145\/130697.130699"},{"key":"10_CR8","doi-asserted-by":"crossref","unstructured":"K.E. Iverson. A Programming Language. Wiley, 1962.","DOI":"10.1145\/1460833.1460872"},{"key":"10_CR9","doi-asserted-by":"crossref","unstructured":"C.B. Jay, M.I. Cole, M. Sekanina, and P. Steckler. A monadic calculus for parallel costing of a functional language of arrays. In C. Lengauer, M. Griebl, and S. Gorlatch, editors, Euro-Par'97 Parallel Processing, vol-ume 1300 of Lecture Notes in Computer Science, pages 650\u2013661. Springer, August 1997.","DOI":"10.1007\/BFb0002796"},{"key":"10_CR10","unstructured":"N.D. Jones, C.K. Gomard, and P. Sestoft. Partial Evaluation and Au-tomatic Program Generation. International Series in Computer Science. Prentice Hall, 1993."},{"key":"10_CR11","doi-asserted-by":"crossref","unstructured":"P. Jansson and J. Jeuring. PolyP-a polytypic programming language extension. In POPL'97: The 24th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, pages 470\u2013482. ACM Press, 1997.","DOI":"10.1145\/263699.263763"},{"key":"10_CR12","unstructured":"C.B. Jay and M. Sekanina. Shape checking of array programs. In Com-puting: the Australasian Theory Seminar, Proceedings, 1997, volume 19 of Australian Computer Science Communications, pages 113\u2013121, 1997."},{"key":"10_CR13","volume-title":"Technical Report 06","author":"C.B. Jay","year":"1997","unstructured":"C.B. Jay and P.A. Steckler. The functional imperative: shape! Technical Report 06, University of Technology, Sydney, 1997. 20 pp."},{"key":"10_CR14","doi-asserted-by":"crossref","unstructured":"S. Jagannathan and A. Wright. Flow-directed inlining. In Proc. ACM SIG-PLAN 1996 Conf. on Programming Language Design and Implementation, pages 193\u2013205, 1996.","DOI":"10.1145\/231379.231417"},{"key":"10_CR15","unstructured":"X. Leroy. The effectiveness of type-based unboxing. In Abstracts from the 1997 Workshop on Types in Compilation (TIC97). Boston College Com-puter Science Department, June 1997."},{"key":"10_CR16","doi-asserted-by":"crossref","unstructured":"R. Milner, R. Harper, M. Tofte, and D. MacQueen. The Definition of Standard ML (Revised). MIT Press, 1997.","DOI":"10.7551\/mitpress\/2319.001.0001"},{"key":"10_CR17","doi-asserted-by":"crossref","unstructured":"R. Milner. A theory of type polymorphism in programming. JCSS, 17, 1978.","DOI":"10.1016\/0022-0000(78)90014-4"},{"key":"10_CR18","doi-asserted-by":"crossref","unstructured":"F. Nielson and H.R. Nielson. Two-level functional languages. Cambridge University Press, 1992.","DOI":"10.1017\/CBO9780511526572"},{"key":"10_CR19","unstructured":"Objective Caml home page on the World-Wide Web. http:\/\/pauillac.inria.fr\/ocaml."},{"key":"10_CR20","doi-asserted-by":"crossref","unstructured":"P.W. O'Hearn and R.D. Tennent, editors. Algol-like Languages, Vols I and II. Progress in Theoretical Computer Science. Birkhauser, 1997.","DOI":"10.1007\/978-1-4612-4118-8"},{"key":"10_CR21","unstructured":"J.C. Reynolds. The essence of ALGOL. In J.W. de Bakker and J.C. van Vliet, editors, Algorithmic Languages, pages 345\u2013372. IFIP, North-Holland Publishing Company, 1981."},{"key":"10_CR22","unstructured":"John C. Reynolds. Design of the programming language Forsythe. Report CMU-CS-96-146, Carnegie Mellon University, June 1996."},{"key":"10_CR23","doi-asserted-by":"crossref","unstructured":"D.B. Skillicorn. Foundations of Parallel Programming. Number 6 in Cam-bridge Series in Parallel Computation. Cambridge University Press, 1994.","DOI":"10.1017\/CBO9780511526626"},{"key":"10_CR24","unstructured":"M. Tofte, L. Birkedal, M. Elsman, N. Hallenberg, T.H. Olesen, P. Sestoft, and P. Bertelsen. Programming with regions in the ML kit. Technical Report 97\/12, Univ. of Copenhagen, 1997."},{"key":"10_CR25","doi-asserted-by":"publisher","first-page":"73","DOI":"10.1016\/0167-6423(89)90016-6","volume":"13","author":"R.D. Tennent","year":"1989","unstructured":"R.D. Tennent. Elementary data structures in Algol-like languages. Science of Computer Programming, 13:73\u2013110, 1989.","journal-title":"Science of Computer Programming"},{"key":"10_CR26","doi-asserted-by":"crossref","unstructured":"M. Tofte and J.-P. Talpin. Implementation of the typed call-by-value A-calculus using a stack of regions. In Conf. Record of POPL'94: 21st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, pages 188\u2013201, January 1994.","DOI":"10.1145\/174675.177855"},{"key":"10_CR27","unstructured":"Zpl home page, http:\/\/www.cs.washington.edu\/research\/zpl."}],"container-title":["Lecture Notes in Computer Science","Programming Languages and Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0053568","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,19]],"date-time":"2019-04-19T06:34:36Z","timestamp":1555655676000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0053568"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1998]]},"ISBN":["9783540643029","9783540697220"],"references-count":27,"URL":"https:\/\/doi.org\/10.1007\/bfb0053568","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1998]]}}}