{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,27]],"date-time":"2026-02-27T03:45:35Z","timestamp":1772163935848,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":12,"publisher":"ACM","license":[{"start":{"date-parts":[[2007,10,1]],"date-time":"2007-10-01T00:00:00Z","timestamp":1191196800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2007,10]]},"DOI":"10.1145\/1291151.1291200","type":"proceedings-article","created":{"date-parts":[[2007,10,14]],"date-time":"2007-10-14T08:51:38Z","timestamp":1192351898000},"page":"327-337","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":26,"title":["Call-pattern specialisation for Haskell programs"],"prefix":"10.1145","author":[{"given":"Simon","family":"Peyton Jones","sequence":"first","affiliation":[{"name":"Microsoft Research, Cambridge, United Kingdom"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2007,10]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"INRIA","author":"Bechet Denis","year":"1994","unstructured":"Denis Bechet . Limix : a partial evaluator for partially static structures. Technical report , INRIA , 1994 . Denis Bechet. Limix: a partial evaluator for partially static structures. Technical report, INRIA, 1994."},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/1248648.1248652"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/1291151.1291199"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-69611-7_3"},{"key":"e_1_3_2_1_5_1","volume-title":"Partial Evaluation and Automatic Program Generation","author":"Jones Neil D.","year":"1993","unstructured":"Neil D. Jones , Carsten K. Gomard , and Peter Sestoft . Partial Evaluation and Automatic Program Generation . Prentice Hall , 1993 . Neil D. Jones, Carsten K. Gomard, and Peter Sestoft. Partial Evaluation and Automatic Program Generation. Prentice Hall, 1993."},{"key":"e_1_3_2_1_6_1","volume-title":"Partial Evaluation and Mixed Computation","author":"Mogensen Torben","year":"1988","unstructured":"Torben Mogensen . Partially static structures in a self-applicable partial evaluator . In Partial Evaluation and Mixed Computation , 1988 . Torben Mogensen. Partially static structures in a self-applicable partial evaluator. In Partial Evaluation and Mixed Computation, 1988."},{"key":"e_1_3_2_1_7_1","volume-title":"2001 Haskell Workshop. ACM SIGPLAN","author":"Peyton Jones Simon L.","year":"2001","unstructured":"Simon L. Peyton Jones , Andrew Tolmach , and Tony Hoare . Playing by the rules: rewriting as a practical optimisation technique in GHC. In Ralf Hinze, editor , 2001 Haskell Workshop. ACM SIGPLAN , September 2001 . Simon L. Peyton Jones, Andrew Tolmach, and Tony Hoare. Playing by the rules: rewriting as a practical optimisation technique in GHC. In Ralf Hinze, editor, 2001 Haskell Workshop. ACM SIGPLAN, September 2001."},{"key":"e_1_3_2_1_8_1","unstructured":"S. L.\n      Peyton Jones\n     and \n      J.\n      Launchbury\n  . \n  Unboxed values as first class citizens\n  . In R. J. M. Hughes editor ACM Conference on Functional Programming and Computer Architecture (FPCA'91) volume \n  523\n   of \n  Lecture Notes in Computer Science pages \n  636\n  --\n  666 Boston 1991\n  . \n  Springer\n  .   S. L. Peyton Jones and J. Launchbury. Unboxed values as first class citizens. In R. J. M. Hughes editor ACM Conference on Functional Programming and Computer Architecture (FPCA'91) volume 523 of Lecture Notes in Computer Science pages 636--666 Boston 1991. Springer."},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0167-6423(97)00029-4"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/232627.232630"},{"key":"e_1_3_2_1_11_1","first-page":"73","volume-title":"ACM SIGPLAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation (PEPM '94)","author":"Thiemann Peter","year":"1994","unstructured":"Peter Thiemann . Higher-order redundancy elimination . In ACM SIGPLAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation (PEPM '94) , pages 73 -- 83 , Orlando, Florida , June 1994 . ACM. Peter Thiemann. Higher-order redundancy elimination. In ACM SIGPLAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation (PEPM '94), pages 73--83, Orlando, Florida, June 1994. ACM."},{"key":"e_1_3_2_1_12_1","unstructured":"Peter\n      Thiemann\n    .\n  Avoiding repeated tests in pattern matching\n  . In Gilberto Fil\u00e9 editor 3rd International Workshop on Static Analysis number 724 in \n  Lecture Notes in Computer Science pages \n  141\n  --\n  152 Padova Italia September \n  1993\n  . \n  Springer Verlag\n  . ISBN 3-540-57264-3.   Peter Thiemann. Avoiding repeated tests in pattern matching. In Gilberto Fil\u00e9 editor 3rd International Workshop on Static Analysis number 724 in Lecture Notes in Computer Science pages 141--152 Padova Italia September 1993. Springer Verlag. ISBN 3-540-57264-3."}],"event":{"name":"ICFP07: ACM SIGPLAN International Conference on Functional Programming","location":"Freiburg Germany","acronym":"ICFP07","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages","ACM Association for Computing Machinery"]},"container-title":["Proceedings of the 12th ACM SIGPLAN international conference on Functional programming"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1291151.1291200","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1291151.1291200","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T11:13:52Z","timestamp":1750245232000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1291151.1291200"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2007,10]]},"references-count":12,"alternative-id":["10.1145\/1291151.1291200","10.1145\/1291151"],"URL":"https:\/\/doi.org\/10.1145\/1291151.1291200","relation":{"is-identical-to":[{"id-type":"doi","id":"10.1145\/1291220.1291200","asserted-by":"object"}]},"subject":[],"published":{"date-parts":[[2007,10]]},"assertion":[{"value":"2007-10-01","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}