{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,14]],"date-time":"2025-05-14T18:43:37Z","timestamp":1747248217690,"version":"3.40.1"},"publisher-location":"Berlin, Heidelberg","reference-count":24,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642276934"},{"type":"electronic","value":"9783642276941"}],"license":[{"start":{"date-parts":[[2012,1,1]],"date-time":"2012-01-01T00:00:00Z","timestamp":1325376000000},"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":[[2012]]},"DOI":"10.1007\/978-3-642-27694-1_17","type":"book-chapter","created":{"date-parts":[[2012,2,7]],"date-time":"2012-02-07T22:38:40Z","timestamp":1328654320000},"page":"227-241","source":"Crossref","is-referenced-by-count":41,"title":["Virtualizing Real-World Objects in FRP"],"prefix":"10.1007","author":[{"given":"Daniel","family":"Winograd-Cort","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Hai","family":"Liu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Paul","family":"Hudak","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"17_CR1","unstructured":"Courtney, A.: Modelling User Interfaces in a Functional Language. Ph.D. thesis, Department of Computer Science, Yale University (May 2004)"},{"key":"17_CR2","unstructured":"Courtney, A., Elliott, C.: Genuinely functional user interfaces. In: 2001 Haskell Workshop (September 2001)"},{"key":"17_CR3","doi-asserted-by":"crossref","first-page":"7","DOI":"10.1145\/871895.871897","volume-title":"Proceedings of the 2003 ACM SIGPLAN Haskell Workshop (Haskell 2003)","author":"A. Courtney","year":"2003","unstructured":"Courtney, A., Nilsson, H., Peterson, J.: The Yampa arcade. In: Proceedings of the 2003 ACM SIGPLAN Haskell Workshop (Haskell 2003), pp. 7\u201318. ACM Press, Uppsala (2003)"},{"key":"17_CR4","doi-asserted-by":"crossref","unstructured":"Elliott, C.: Tangible functional programming. In: International Conference on Functional Programming (2007), http:\/\/conal.net\/papers\/Eros\/","DOI":"10.1145\/1291151.1291163"},{"key":"17_CR5","doi-asserted-by":"crossref","unstructured":"Elliott, C., Hudak, P.: Functional reactive animation. In: International Conference on Functional Programming, pp. 263\u2013273 (June 1997)","DOI":"10.1145\/258949.258973"},{"key":"17_CR6","doi-asserted-by":"crossref","unstructured":"Elliott, C., Schechter, G., Yeung, R., Abi-Ezzi, S.: Tbag: A high level framework for interactive, animated 3d graphics applications. In: Proceedings of SIGGRAPH 1994, pp. 421\u2013434. ACM SIGGRAPH (July 1994)","DOI":"10.1145\/192161.192276"},{"key":"17_CR7","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/0304-3975(87)90045-4","volume":"50","author":"J.Y. Girard","year":"1987","unstructured":"Girard, J.Y.: Linear logic. Theoretical Computer Science\u00a050, 1\u2013102 (1987)","journal-title":"Theoretical Computer Science"},{"key":"17_CR8","unstructured":"Hawblitzel, C.: Linear types for aliased resources (extended version). Tech. Rep. MSR-TR-2005-141, Microsoft Research, Redmond, WA (October 2005)"},{"key":"17_CR9","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9780511818073","volume-title":"The Haskell School of Expression \u2013 Learning Functional Programming through Multimedia","author":"P. Hudak","year":"2000","unstructured":"Hudak, P.: The Haskell School of Expression \u2013 Learning Functional Programming through Multimedia. Cambridge University Press, New York (2000)"},{"key":"17_CR10","doi-asserted-by":"crossref","unstructured":"Hudak, P.: Describing and interpreting music in Haskell. In: The Fun of Programming, ch. 4. Palgrave (2003)","DOI":"10.1007\/978-1-349-91518-7_4"},{"key":"17_CR11","unstructured":"Hudak, P.: The Haskell School of Music \u2013 from Signals to Symphonies (Version 2.0) (January 2011), http:\/\/haskell.cs.yale.edu\/?post_type=publication&p=112"},{"key":"17_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"159","DOI":"10.1007\/978-3-540-44833-4_6","volume-title":"Advanced Functional Programming","author":"P. Hudak","year":"2003","unstructured":"Hudak, P., Courtney, A., Nilsson, H., Peterson, J.: Arrows, Robots, and Functional Reactive Programming. In: Jeuring, J., Jones, S.L.P. (eds.) AFP 2002. LNCS, vol.\u00a02638, pp. 159\u2013187. Springer, Heidelberg (2003)"},{"key":"17_CR13","doi-asserted-by":"publisher","first-page":"67","DOI":"10.1016\/S0167-6423(99)00023-4","volume":"37","author":"J. Hughes","year":"2000","unstructured":"Hughes, J.: Generalising monads to arrows. Science of Computer Programming\u00a037, 67\u2013111 (2000)","journal-title":"Science of Computer Programming"},{"key":"17_CR14","doi-asserted-by":"crossref","unstructured":"Kiselyov, O., L\u00e4mmel, R., Schupke, K.: Strongly typed heterogeneous collections. In: Haskell 2004: Proceedings of the ACM SIGPLAN Workshop on Haskell, pp. 96\u2013107. ACM Press (2004)","DOI":"10.1145\/1017472.1017488"},{"key":"17_CR15","doi-asserted-by":"crossref","unstructured":"Nilsson, H., Courtney, A., Peterson, J.: Functional Reactive Programming, continued. In: ACM SIGPLAN 2002 Haskell Workshop (October 2002)","DOI":"10.1145\/581690.581695"},{"key":"17_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"230","DOI":"10.1007\/978-3-642-04652-0_5","volume-title":"Advanced Functional Programming","author":"U. Norell","year":"2009","unstructured":"Norell, U.: Dependently Typed Programming in Agda. In: Koopman, P., Plasmeijer, R., Swierstra, D. (eds.) AFP 2008. LNCS, vol.\u00a05832, pp. 230\u2013266. Springer, Heidelberg (2009)"},{"key":"17_CR17","doi-asserted-by":"crossref","unstructured":"OHearn, P., Reynolds, J., Yang, H.: Local reasoning about programs that alter data structures. Computer Science Logic, p. 1","DOI":"10.1007\/3-540-44802-0_1"},{"key":"17_CR18","doi-asserted-by":"crossref","unstructured":"Paterson, R.: A new notation for arrows. In: ICFP 2001: International Conference on Functional Programming, Firenze, Italy, pp. 229\u2013240 (2001)","DOI":"10.1145\/507635.507664"},{"key":"17_CR19","doi-asserted-by":"crossref","unstructured":"Peyton Jones, S., Wadler, P.: Imperative functional programming. In: Proceedings 20th Symposium on Principles of Programming Languages, pp. 71\u201384. ACM (January 1993)","DOI":"10.1145\/158511.158524"},{"key":"17_CR20","doi-asserted-by":"crossref","unstructured":"Peyton Jones, S., et al.: The Haskell 98 language and libraries: The revised report. Journal of Functional Programming 13(1), 0\u2013255 (January 2003)","DOI":"10.1017\/S0956796803003010"},{"key":"17_CR21","unstructured":"Plasmeijer, R., van Eekelen, M.: Clean \u2013 version 2.1 language report. Tech. rep., Department of Software Technology, University of Nijmegen (November 2002)"},{"key":"17_CR22","doi-asserted-by":"crossref","unstructured":"Reynolds, J.: Separation logic: A logic for shared mutable data structures. In: Proc. Logic in Computer Science (LICS 2002), pp. 55\u201374 (July 2002)","DOI":"10.1109\/LICS.2002.1029817"},{"key":"17_CR23","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"235","DOI":"10.1007\/978-3-642-18378-2_19","volume-title":"Practical Aspects of Declarative Languages","author":"A. Voellmy","year":"2011","unstructured":"Voellmy, A., Hudak, P.: Nettle: Taking the Sting Out of Programming Network Routers. In: Rocha, R., Launchbury, J. (eds.) PADL 2011. LNCS, vol.\u00a06539, pp. 235\u2013249. Springer, Heidelberg (2011)"},{"key":"17_CR24","doi-asserted-by":"crossref","unstructured":"Wadler, P.: Is there a use for linear logic? In: Symposium on Partial Evaluation and Semantics Based Program Manipulation, pp. 255\u2013273. ACM\/IFIP (1991)","DOI":"10.1145\/115865.115894"}],"container-title":["Lecture Notes in Computer Science","Practical Aspects of Declarative Languages"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-27694-1_17","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,3,20]],"date-time":"2025-03-20T01:40:56Z","timestamp":1742434856000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-27694-1_17"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642276934","9783642276941"],"references-count":24,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-27694-1_17","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2012]]}}}