{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,27]],"date-time":"2026-02-27T03:45:59Z","timestamp":1772163959489,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":29,"publisher":"ACM","license":[{"start":{"date-parts":[[2005,9,12]],"date-time":"2005-09-12T00:00:00Z","timestamp":1126483200000},"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":[[2005,9,12]]},"DOI":"10.1145\/1086365.1086374","type":"proceedings-article","created":{"date-parts":[[2005,11,7]],"date-time":"2005-11-07T12:34:39Z","timestamp":1131366879000},"page":"54-65","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":14,"title":["Dynamic optimization for functional reactive programming using generalized algebraic data types"],"prefix":"10.1145","author":[{"given":"Henrik","family":"Nilsson","sequence":"first","affiliation":[{"name":"University of Nottingham"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2005,9,12]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1145\/1017472.1017485"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1016\/0167-6423(92)90005-V"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/165180.165228"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/41625.41641"},{"key":"e_1_3_2_1_6_1","volume-title":"a functional extension of Lustre. Submitted for publication","author":"Caspi Paul","year":"2000","unstructured":"Paul Caspi and Marc Pouzet . Lucid Synchrone , a functional extension of Lustre. Submitted for publication , 2000 .]] Paul Caspi and Marc Pouzet. Lucid Synchrone, a functional extension of Lustre. Submitted for publication, 2000.]]"},{"key":"e_1_3_2_1_7_1","series-title":"Lecture Notes in Computer Science","first-page":"176","volume-title":"Proceedings of the 12th International Workshop on Implementation of Functional Languages (IFL","author":"Chitil Olaf","year":"2000","unstructured":"Olaf Chitil , Colin Runciman , and Malcolm Wallace . Freja , Hat and Hood - a comparative evaluation of three systems for tracing and debugging lazy functional programs . In Markus Mohnen and Pieter Koopman, editors, Proceedings of the 12th International Workshop on Implementation of Functional Languages (IFL 2000 ), Aachen, Germany, September 2000, volume 2011 of Lecture Notes in Computer Science , pages 176 -- 193 . Springer-Verlag , 2001.]] Olaf Chitil, Colin Runciman, and Malcolm Wallace. Freja, Hat and Hood - a comparative evaluation of three systems for tracing and debugging lazy functional programs. In Markus Mohnen and Pieter Koopman, editors, Proceedings of the 12th International Workshop on Implementation of Functional Languages (IFL 2000), Aachen, Germany, September 2000, volume 2011 of Lecture Notes in Computer Science, pages 176--193. Springer-Verlag, 2001.]]"},{"key":"e_1_3_2_1_8_1","volume-title":"Proceedings of the 2001 ACM SIGPLAN Haskell Workshop","author":"Courtney Antony","year":"2001","unstructured":"Antony Courtney and Conal Elliott . Genuinely functional user interfaces . In Proceedings of the 2001 ACM SIGPLAN Haskell Workshop , Firenze, Italy , September 2001 .]] Antony Courtney and Conal Elliott. Genuinely functional user interfaces. In Proceedings of the 2001 ACM SIGPLAN Haskell Workshop, Firenze, Italy, September 2001.]]"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/871895.871897"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.5555\/646453.693110"},{"key":"e_1_3_2_1_11_1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"9","DOI":"10.1007\/3-540-45350-4_5","volume-title":"Semantics, Applications, and Implementation of Program Generation (SAIG","author":"Elliott Conal","year":"2000","unstructured":"Conal Elliott , Sigbj\u00f8rn Finne , and Oege de Moor . Compiling embedded languages . In Semantics, Applications, and Implementation of Program Generation (SAIG 2000 ), volume 1924 of Lecture Notes in Computer Science , pages 9 -- 27 , Montreal, Canada, September 2000. Springer-Verlag .]] Conal Elliott, Sigbj\u00f8rn Finne, and Oege de Moor. Compiling embedded languages. In Semantics, Applications, and Implementation of Program Generation (SAIG 2000), volume 1924 of Lecture Notes in Computer Science, pages 9--27, Montreal, Canada, September 2000. Springer-Verlag.]]"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/258948.258973"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1109\/5.97300"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.5555\/788018.788803"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.5555\/551789.853532"},{"key":"e_1_3_2_1_16_1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"159","DOI":"10.1007\/3-540-45631-7","volume-title":"Advanced Functional Programming, 4th International School","author":"Hudak Paul","year":"2002","unstructured":"Paul Hudak , Antony Courtney , Henrik Nilsson , and John Peterson . Arrows , robots, and functional reactive programming . In Johan Jeuring and Simon Peyton Jones, editors, Advanced Functional Programming, 4th International School 2002 , volume 2638 of Lecture Notes in Computer Science , pages 159 -- 187 . Springer-Verlag , 2003.]] Paul Hudak, Antony Courtney, Henrik Nilsson, and John Peterson. Arrows, robots, and functional reactive programming. In Johan Jeuring and Simon Peyton Jones, editors, Advanced Functional Programming, 4th International School 2002, volume 2638 of Lecture Notes in Computer Science, pages 159--187. Springer-Verlag, 2003.]]"},{"key":"e_1_3_2_1_17_1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"53","DOI":"10.1007\/3-540-59451-5_3","volume-title":"Advanced Functional Programming","author":"Hughes John","year":"1995","unstructured":"John Hughes . The design of a pretty-printing library . In J. Jeuring and E. Meijer, editors, Advanced Functional Programming , volume 925 of Lecture Notes in Computer Science , pages 53 -- 96 . Springer Verlag , LNCS 925, 1995 .]] John Hughes. The design of a pretty-printing library. In J. Jeuring and E. Meijer, editors, Advanced Functional Programming, volume 925 of Lecture Notes in Computer Science, pages 53--96. Springer Verlag, LNCS 925, 1995.]]"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0167-6423(99)00023-4"},{"key":"e_1_3_2_1_19_1","volume-title":"Advanced Functional Programming","author":"Hughes John","year":"2004","unstructured":"John Hughes . Programming with arrows . In Advanced Functional Programming , 2004 . To be published by Springer Verlag in their LNCS series.]] John Hughes. Programming with arrows. In Advanced Functional Programming, 2004. To be published by Springer Verlag in their LNCS series.]]"},{"key":"e_1_3_2_1_20_1","unstructured":"The MathWorks Inc. Using Simulink Version 4 June 2001. http:\/\/www.mathworks.com]]  The MathWorks Inc. Using Simulink Version 4 June 2001. http:\/\/www.mathworks.com]]"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1145\/581690.581695"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1145\/507635.507664"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1109\/ROBOT.1999.772516"},{"key":"e_1_3_2_1_24_1","first-page":"91","volume-title":"Proceedings of PADL'99: 1st International Conference on Practical Aspects of Declarative Languages","author":"Peterson John","year":"1999","unstructured":"John Peterson , Paul Hudak , and Conal Elliott . Lambda in motion: Controlling robots with Haskell . In Proceedings of PADL'99: 1st International Conference on Practical Aspects of Declarative Languages , pages 91 -- 105 , January 1999 .]] John Peterson, Paul Hudak, and Conal Elliott. Lambda in motion: Controlling robots with Haskell. In Proceedings of PADL'99: 1st International Conference on Practical Aspects of Declarative Languages, pages 91--105, January 1999.]]"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.5555\/645771.758166"},{"key":"e_1_3_2_1_26_1","volume-title":"July","author":"Jones Simon Peyton","year":"2004","unstructured":"Simon Peyton Jones , Geoffrey Washburn , and Stephanie Weirich . Wobbly types: type inference for generalized algebraic data types. Submitted to POPL'05 , July 2004 .]] Simon Peyton Jones, Geoffrey Washburn, and Stephanie Weirich. Wobbly types: type inference for generalized algebraic data types. Submitted to POPL'05, July 2004.]]"},{"key":"e_1_3_2_1_27_1","unstructured":"Marc Pouzet Paul Caspi Pascal Couq and Gr\u00e9goire Hamon. Lucid Synchrone v2.0 - tutorial and reference manual. http:\/\/www-spi.lip6.fr\/lucid-synchrone\/lucid_synchrone_2.0_manual.ps April 2001.]]  Marc Pouzet Paul Caspi Pascal Couq and Gr\u00e9goire Hamon. Lucid Synchrone v2.0 - tutorial and reference manual. http:\/\/www-spi.lip6.fr\/lucid-synchrone\/lucid_synchrone_2.0_manual.ps April 2001.]]"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1145\/351240.351250"},{"key":"e_1_3_2_1_29_1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"184","DOI":"10.1007\/3-540-61628-4_7","volume-title":"Advanced Functional Programming","author":"Swierstra S. D.","year":"1996","unstructured":"S. D. Swierstra and Luc Duponcheel . Deterministic, error-correcting combinator parsers . In John Launchbury, Erik Meijer, and Tim Sheard, editors, Advanced Functional Programming , volume 1129 of Lecture Notes in Computer Science , pages 184 -- 207 . Springer-Verlag , 1996 .]] S. D. Swierstra and Luc Duponcheel. Deterministic, error-correcting combinator parsers. In John Launchbury, Erik Meijer, and Tim Sheard, editors, Advanced Functional Programming, volume 1129 of Lecture Notes in Computer Science, pages 184--207. Springer-Verlag, 1996.]]"},{"key":"e_1_3_2_1_30_1","volume-title":"Conference on Functional Programming Languages and Computer Architecture (FPCA '85)","volume":"201","author":"Wadler Philip","year":"1985","unstructured":"Philip Wadler . How to replace failure with a list of successes . In Conference on Functional Programming Languages and Computer Architecture (FPCA '85) , volume 201 of Lecture Notes in Computer Science, pages 113--128. Springer-Verlag , 1985 .]] Philip Wadler. How to replace failure with a list of successes. In Conference on Functional Programming Languages and Computer Architecture (FPCA '85), volume 201 of Lecture Notes in Computer Science, pages 113--128. Springer-Verlag, 1985.]]"}],"event":{"name":"ICFP05: ACM SIGPLAN International Conference on Functional Programming","location":"Tallinn Estonia","acronym":"ICFP05","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages","ACM Association for Computing Machinery"]},"container-title":["Proceedings of the tenth ACM SIGPLAN international conference on Functional programming"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1086365.1086374","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1086365.1086374","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T12:08:12Z","timestamp":1750248492000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1086365.1086374"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005,9,12]]},"references-count":29,"alternative-id":["10.1145\/1086365.1086374","10.1145\/1086365"],"URL":"https:\/\/doi.org\/10.1145\/1086365.1086374","relation":{"is-identical-to":[{"id-type":"doi","id":"10.1145\/1090189.1086374","asserted-by":"object"}]},"subject":[],"published":{"date-parts":[[2005,9,12]]},"assertion":[{"value":"2005-09-12","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}