{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T20:32:49Z","timestamp":1725568369470},"publisher-location":"Berlin, Heidelberg","reference-count":21,"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"},{"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_6","type":"book-chapter","created":{"date-parts":[[2010,11,2]],"date-time":"2010-11-02T09:07:22Z","timestamp":1288688842000},"page":"90-106","source":"Crossref","is-referenced-by-count":1,"title":["Arity Raising in Manticore"],"prefix":"10.1007","author":[{"given":"Lars","family":"Bergstrom","sequence":"first","affiliation":[]},{"given":"John","family":"Reppy","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"6_CR1","doi-asserted-by":"crossref","unstructured":"Tarditi, D., Diwan, A.: Measuring the cost of storage management. In: LASC, pp. 323\u2013342 (1994)","DOI":"10.1007\/BF01806316"},{"key":"6_CR2","first-page":"118","volume-title":"SAC 1995","author":"M. Serrano","year":"1995","unstructured":"Serrano, M.: Control flow analysis: a functional languages compilation paradigm. In: SAC 1995, pp. 118\u2013122. ACM, New York (1995)"},{"key":"6_CR3","first-page":"37","volume-title":"DAMP 2007","author":"M. Fluet","year":"2007","unstructured":"Fluet, M., Rainey, M., Reppy, J., Shaw, A., Xiao, Y.: Manticore: A heterogeneous parallel language. In: DAMP 2007, pp. 37\u201344. ACM, New York (January 2007)"},{"key":"6_CR4","doi-asserted-by":"publisher","first-page":"446","DOI":"10.1038\/324446a0","volume":"324","author":"J. Barnes","year":"1986","unstructured":"Barnes, J., Hut, P.: A hierarchical o(n log n) force calculation algorithm. Nature\u00a0324, 446\u2013449 (1986)","journal-title":"Nature"},{"key":"6_CR5","unstructured":"GHC: Barnes Hut benchmark written in Haskell, http:\/\/darcs.haskell.org\/packages\/ndp\/examples\/barnesHut\/"},{"issue":"4","key":"6_CR6","doi-asserted-by":"publisher","first-page":"469","DOI":"10.1145\/235815.235821","volume":"22","author":"C.B. Barber","year":"1996","unstructured":"Barber, C.B., Dobkin, D.P., Huhdanpaa, H.: The quickhull algorithm for convex hulls. ACM Transactions on Mathematical Software\u00a022(4), 469\u2013483 (1996)","journal-title":"ACM Transactions on Mathematical Software"},{"key":"6_CR7","volume-title":"ID Language Reference Manual. Laboratory for Computer Science","author":"R.S. Nikhil","year":"1991","unstructured":"Nikhil, R.S.: ID Language Reference Manual. Laboratory for Computer Science. MIT, Cambridge (July 1991)"},{"key":"6_CR8","first-page":"177","volume-title":"POPL 1992","author":"X. Leroy","year":"1992","unstructured":"Leroy, X.: Unboxed objects and polymorphic typing. In: POPL 1992, pp. 177\u2013188. ACM, New York (1992)"},{"key":"6_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"636","DOI":"10.1007\/3540543961_30","volume-title":"Functional Programming Languages and Computer Architecture","author":"S.L. Peyton Jones","year":"1991","unstructured":"Peyton Jones, S.L., Launchbury, J.: Unboxed values as first class citizens in a non-strict functional language. In: Hughes, J. (ed.) FPCA 1991. LNCS, vol.\u00a0523, pp. 636\u2013666. Springer, Heidelberg (1991)"},{"key":"6_CR10","first-page":"213","volume-title":"POPL 1994","author":"F. Henglein","year":"1994","unstructured":"Henglein, F., J\u00f8rgensen, J.: Formally optimal boxing. In: POPL 1994, pp. 213\u2013226. ACM, New York (1994)"},{"key":"6_CR11","first-page":"24","volume-title":"FPCA 1995","author":"P.J. Thiemann","year":"1995","unstructured":"Thiemann, P.J.: Unboxed values and polymorphic typing revisited. In: FPCA 1995, pp. 24\u201335. ACM, New York (1995)"},{"key":"6_CR12","doi-asserted-by":"crossref","unstructured":"Goubault, J.: Generalized boxings, congruences and partial inlining. In: First International Static Analysis Symposium, Namur, Belgium (September 1994)","DOI":"10.1007\/3-540-58485-4_38"},{"key":"6_CR13","first-page":"50","volume-title":"ICFP 1996","author":"M. Serrano","year":"1996","unstructured":"Serrano, M., Feeley, M.: Storage use analysis and its applications. In: ICFP 1996, pp. 50\u201361. ACM Press, New York (1996)"},{"key":"6_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"499","DOI":"10.1007\/3-540-45789-5_21","volume-title":"Static Analysis","author":"K.F. Fax\u00e9n","year":"2002","unstructured":"Fax\u00e9n, K.F.: Representation analysis for coercion placement. In: Hermenegildo, M.V., Puebla, G. (eds.) SAS 2002. LNCS, vol.\u00a02477, pp. 499\u2013503. Springer, Heidelberg (2002)"},{"key":"6_CR15","unstructured":"Leroy, X.: The effectiveness of type-based unboxing. In: Workshop on Types in Compilation, Amsterdam. ACM SIGPLAN, Boston College Computer Science Dept. Technical Report BCCS-97-03 (June 1997)"},{"issue":"4","key":"6_CR16","doi-asserted-by":"publisher","first-page":"845","DOI":"10.1145\/291891.291898","volume":"20","author":"J.M. Ashley","year":"1998","unstructured":"Ashley, J.M., Dybvig, R.K.: A practical and flexible flow analysis for higher-order languages. ACM Trans. Program. Lang. Syst.\u00a020(4), 845\u2013868 (1998)","journal-title":"ACM Trans. Program. Lang. Syst."},{"key":"6_CR17","first-page":"181","volume-title":"PLDI 1996","author":"D. Tarditi","year":"1996","unstructured":"Tarditi, D., Morrisett, G., Cheng, P., Stone, C., Harper, R., Lee, P.: TIL: a type-directed optimizing compiler for ML. In: PLDI 1996, pp. 181\u2013192. ACM, New York (1996)"},{"issue":"4","key":"6_CR18","doi-asserted-by":"publisher","first-page":"554","DOI":"10.1145\/989393.989449","volume":"39","author":"D. Tarditi","year":"2004","unstructured":"Tarditi, D., Morrisett, G., Cheng, P., Stone, C., Harper, R., Lee, P.: TIL: a type-directed, optimizing compiler for ML. SIGPLAN Not.\u00a039(4), 554\u2013567 (2004)","journal-title":"SIGPLAN Not."},{"key":"6_CR19","first-page":"27","volume-title":"ICFP 1998","author":"J. Hannan","year":"1998","unstructured":"Hannan, J., Hicks, P.: Higher-order arity raising. In: ICFP 1998, pp. 27\u201338. ACM, New York (1998)"},{"issue":"3","key":"6_CR20","doi-asserted-by":"publisher","first-page":"845","DOI":"10.1007\/s10990-008-9035-3","volume":"21","author":"L. Ziarek","year":"2008","unstructured":"Ziarek, L., Weeks, S., Jagannathan, S.: Flattening tuples in an SSA intermediate representation. Higher-Order and Symbolic Computation\u00a021(3), 845\u2013868 (2008)","journal-title":"Higher-Order and Symbolic Computation"},{"key":"6_CR21","first-page":"1","volume-title":"HASKELL 2009","author":"M.C. Bolingbroke","year":"2009","unstructured":"Bolingbroke, M.C., Peyton Jones, S.L.: Types are calling conventions. In: HASKELL 2009, pp. 1\u201312. ACM, New York (2009)"}],"container-title":["Lecture Notes in Computer Science","Implementation and Application of Functional Languages"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-16478-1_6","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,5]],"date-time":"2019-06-05T20:54:33Z","timestamp":1559768073000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-16478-1_6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010]]},"ISBN":["9783642164774","9783642164781"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-16478-1_6","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2010]]}}}