{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:31:16Z","timestamp":1750307476188,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":28,"publisher":"ACM","license":[{"start":{"date-parts":[[2010,7,26]],"date-time":"2010-07-26T00:00:00Z","timestamp":1280102400000},"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":[[2010,7,26]]},"DOI":"10.1145\/1836089.1836119","type":"proceedings-article","created":{"date-parts":[[2010,7,27]],"date-time":"2010-07-27T14:10:11Z","timestamp":1280239811000},"page":"231-242","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["Optimality for dynamic patterns"],"prefix":"10.1145","author":[{"given":"Thibaut","family":"Balabonski","sequence":"first","affiliation":[{"name":"PPS, CNRS and Universit\u00e9 Paris Diderot, Paris, France"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2010,7,26]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"The Optimal Implementation of Functional Programming Languages","author":"Asperti A.","year":"1998","unstructured":"A. Asperti and S. Guerrini . The Optimal Implementation of Functional Programming Languages . Cambridge University Press , 1998 . A. Asperti and S. Guerrini. The Optimal Implementation of Functional Programming Languages. Cambridge University Press, 1998."},{"key":"e_1_3_2_1_2_1","volume-title":"Universit\u00e9 Paris Diderot","author":"Balabonski T.","year":"2008","unstructured":"T. Balabonski . Calculs avec motifs dynamiques, Rapport technique PPS , Universit\u00e9 Paris Diderot , 2008 . Available at http:\/\/hal.archives-ouvertes.fr\/hal-00476940. T. Balabonski. Calculs avec motifs dynamiques, Rapport technique PPS, Universit\u00e9 Paris Diderot, 2008. Available at http:\/\/hal.archives-ouvertes.fr\/hal-00476940."},{"key":"e_1_3_2_1_3_1","volume-title":"Rapport technique PPS","author":"Balabonski T.","year":"2010","unstructured":"T. Balabonski . Optimality for Dynamic Patterns , Rapport technique PPS , Universit\u00e9 Paris Diderot , 2010 . T. Balabonski. Optimality for Dynamic Patterns, Rapport technique PPS, Universit\u00e9 Paris Diderot, 2010."},{"key":"e_1_3_2_1_4_1","volume-title":"Reflections on Type Theory, Lambda Calculus and the Mind Essays Dedicated to Henk Barendregt on the Occasion of his 60th Birthday","author":"Blanc T.","year":"2007","unstructured":"T. Blanc , J.-J. L\u00e9vy , and L. Maranget . Sharing in the Weak Lambda-Calculus Revisited . In Reflections on Type Theory, Lambda Calculus and the Mind Essays Dedicated to Henk Barendregt on the Occasion of his 60th Birthday , December 2007 . T. Blanc, J.-J. L\u00e9vy, and L. Maranget. Sharing in the Weak Lambda-Calculus Revisited. In Reflections on Type Theory, Lambda Calculus and the Mind Essays Dedicated to Henk Barendregt on the Occasion of his 60th Birthday, December 2007."},{"key":"e_1_3_2_1_5_1","unstructured":"Bondi. Bondi programming language. http:\/\/bondi.it.uts.edu.au\/.  Bondi. Bondi programming language. http:\/\/bondi.it.uts.edu.au\/."},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0304-3975(97)00250-8"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2004.12.042"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2009.10.017"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/507635.507641"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.5555\/648223.748979"},{"key":"e_1_3_2_1_13_1","first-page":"1","volume":"2793","author":"Hinze R.","year":"2003","unstructured":"R. Hinze and J. Jeuring . Generic Haskell: Practice and Theory. In Generic Programming , volume 2793 of LNCS, pages 1 -- 56 , 2003 . R. Hinze and J. Jeuring. Generic Haskell: Practice and Theory. In Generic Programming, volume 2793 of LNCS, pages 1--56, 2003.","journal-title":"Generic Haskell: Practice and Theory. In Generic Programming"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/115866.115890"},{"key":"e_1_3_2_1_15_1","first-page":"394","volume-title":"J.--L","author":"Huet G.","year":"1991","unstructured":"G. Huet and J.-J. L\u00e9vy . Computations in Orthogonal Rewriting Systems . In J.--L . Lassez and G. Plotkin, editors, Computational Logic, Essays in Honor of Alan Robinson, pages 394 -- 443 . MIT Press , 1991 . G. Huet and J.-J. L\u00e9vy. Computations in Orthogonal Rewriting Systems. In J.--L. Lassez and G. Plotkin, editors, Computational Logic, Essays in Honor of Alan Robinson, pages 394--443. MIT Press, 1991."},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/1034774.1034775"},{"key":"e_1_3_2_1_17_1","volume-title":"Computing with Functions and Data Structures","author":"Jay B.","year":"2009","unstructured":"B. Jay . Pattern Calculus : Computing with Functions and Data Structures . Springer , 2009 . B. Jay. Pattern Calculus: Computing with Functions and Data Structures. Springer, 2009."},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1017\/S0956796808007144"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1007\/11693024_8"},{"key":"e_1_3_2_1_20_1","volume-title":"Patterns as First-Class Citizens. Technical report","author":"Jay B.","year":"2008","unstructured":"B. Jay and D. Kesner . Patterns as First-Class Citizens. Technical report , 2008 . Available as http:\/\/hal.archives-ouvertes.fr\/hal-00229331\/fr\/. B. Jay and D. Kesner. Patterns as First-Class Citizens. Technical report, 2008. Available as http:\/\/hal.archives-ouvertes.fr\/hal-00229331\/fr\/."},{"key":"e_1_3_2_1_21_1","volume-title":"The Implementation of Functional Programming Languages","author":"Jones S. P.","year":"1987","unstructured":"S. P. Jones . The Implementation of Functional Programming Languages . Prentice-Hall, Inc. , 1987 . S. P. Jones. The Implementation of Functional Programming Languages. Prentice-Hall, Inc., 1987."},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2008.01.019"},{"key":"e_1_3_2_1_24_1","first-page":"159","volume-title":"Lambda Calculus and Formalisms","author":"L\u00e9vy J.-J.","year":"1980","unstructured":"J.-J. L\u00e9vy . Optimal Reductions in the Lambda-Calculus. In To H. B. Curry: Essays on Combinatory Logic , Lambda Calculus and Formalisms , pages 159 -- 191 , 1980 . J.-J. L\u00e9vy. Optimal Reductions in the Lambda-Calculus. In To H. B. Curry: Essays on Combinatory Logic, Lambda Calculus and Formalisms, pages 159--191, 1980."},{"key":"e_1_3_2_1_26_1","first-page":"155","volume-title":"RTA","author":"Mackie I.","year":"2004","unstructured":"I. Mackie . Efficient Lambda-Evaluation with Interaction Nets . In RTA , pages 155 -- 169 , 2004 . I. Mackie. Efficient Lambda-Evaluation with Interaction Nets. In RTA, pages 155--169, 2004."},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1145\/1411304.1411311"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1145\/99583.99618"},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2008.03.058"},{"volume-title":"Term Rewriting Systems","year":"2003","key":"e_1_3_2_1_32_1","unstructured":"Terese. Term Rewriting Systems . Cambridge University Press , 2003 . Terese. Term Rewriting Systems. Cambridge University Press, 2003."},{"key":"e_1_3_2_1_33_1","first-page":"379","volume-title":"Raamsdonk. Weak Orthogonality Implies Confluence: the Higher-Order Case. In LFCS'94","author":"van Oostrom V.","year":"1994","unstructured":"V. van Oostrom and F. van Raamsdonk. Weak Orthogonality Implies Confluence: the Higher-Order Case. In LFCS'94 , pages 379 -- 392 , 1994 . V. van Oostrom and F. van Raamsdonk. Weak Orthogonality Implies Confluence: the Higher-Order Case. In LFCS'94, pages 379--392, 1994."},{"key":"e_1_3_2_1_35_1","volume-title":"September","author":"Yoshida N.","year":"1994","unstructured":"N. Yoshida . Optimal Reduction in Weak-\u03bb-calculus with Shared Environments. Journal of Computer Software, 11 (5): 2--20 , September 1994 . N. Yoshida. Optimal Reduction in Weak-\u03bb-calculus with Shared Environments. Journal of Computer Software, 11 (5): 2--20, September 1994."}],"event":{"name":"PPDP '10: Principles and Practice of Declarative Programming","sponsor":["Johannes Kepler University, Linz, Austria","SIGPLAN ACM Special Interest Group on Programming Languages"],"location":"Hagenberg Austria","acronym":"PPDP '10"},"container-title":["Proceedings of the 12th international ACM SIGPLAN symposium on Principles and practice of declarative programming"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1836089.1836119","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1836089.1836119","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T12:08:51Z","timestamp":1750248531000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1836089.1836119"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010,7,26]]},"references-count":28,"alternative-id":["10.1145\/1836089.1836119","10.1145\/1836089"],"URL":"https:\/\/doi.org\/10.1145\/1836089.1836119","relation":{},"subject":[],"published":{"date-parts":[[2010,7,26]]},"assertion":[{"value":"2010-07-26","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}