{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,21]],"date-time":"2025-06-21T04:10:04Z","timestamp":1750479004450,"version":"3.41.0"},"reference-count":19,"publisher":"Information Processing Society of Japan","issue":"0","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Journal of Information Processing"],"published-print":{"date-parts":[[2025]]},"DOI":"10.2197\/ipsjjip.33.368","type":"journal-article","created":{"date-parts":[[2025,6,14]],"date-time":"2025-06-14T22:09:03Z","timestamp":1749938943000},"page":"368-376","source":"Crossref","is-referenced-by-count":0,"title":["Functional Reactive Animation with Functions of Time"],"prefix":"10.2197","volume":"33","author":[{"given":"Katsuhiro","family":"Ueno","sequence":"first","affiliation":[{"name":"Niigata University"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Haru","family":"Karato","sequence":"additional","affiliation":[{"name":"Niigata University"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"1012","reference":[{"key":"1","doi-asserted-by":"publisher","unstructured":"[1] Almeida, J.B., Cunha, A., Macedo, N., Pacheco, H. and Proen\u00e7a, J.: Teaching how to program using automated assessment and functional glossy games (experience report), <i>Proc. ACM Program. Lang.<\/i>, Vol.2, No.ICFP, pp.1-17 (online), DOI: 10.1145\/3236777 (2018).","DOI":"10.1145\/3236777"},{"key":"2","doi-asserted-by":"publisher","unstructured":"[2] Bainomugisha, E., Carreton, A.L., van Cutsem, T., Mostinckx, S. and de Meuter, W.: A survey on reactive programming, <i>ACM Comput. Surv.<\/i>, Vol.45, No.4, pp.1-34 (online), DOI: 10.1145\/2501654.2501666 (2013).","DOI":"10.1145\/2501654.2501666"},{"key":"3","unstructured":"[3] Blackheath, S. and Jones, A.: <i>Functional Reactive Programming<\/i>, Manning Publications (2016)."},{"key":"4","doi-asserted-by":"publisher","unstructured":"[4] Breitner, J. and Smith, C.: Lock-step simulation is child&apos;s play (experience report), <i>Proc. ACM Program. Lang.<\/i>, Vol.1, No.ICFP, pp.1-15 (online), DOI: 10.1145\/3110247 (2017).","DOI":"10.1145\/3110247"},{"key":"5","doi-asserted-by":"publisher","unstructured":"[5] Buneman, P. and Ohori, A.: Polymorphism and type inference in database programming, <i>ACM Trans. Database Syst.<\/i>, Vol.21, No.1, pp.30-76 (online), DOI: 10.1145\/227604.227609 (1996).","DOI":"10.1145\/227604.227609"},{"key":"6","doi-asserted-by":"crossref","unstructured":"[6] Cooper, G.H. and Krishnamurthi, S.: Embedding Dynamic Dataflow in a Call-by-Value Language, <i>Programming Languages and Systems<\/i>, pp.294-308, Springer Berlin Heidelberg (2006).","DOI":"10.1007\/11693024_20"},{"key":"7","doi-asserted-by":"crossref","unstructured":"[7] Courtney, A., Nilsson, H. and Peterson, J.: The Yampa arcade, <i>Proc. 2003 ACM SIGPLAN Workshop on Haskell<\/i>, <i>Haskell &apos;03<\/i>, pp.7-18, Association for Computing Machinery (online), DOI: 10.1145\/871895.871897 (2003).","DOI":"10.1145\/871895.871897"},{"key":"8","doi-asserted-by":"crossref","unstructured":"[8] Czaplicki, E. and Chong, S.: Asynchronous functional reactive programming for GUIs, <i>Proc. 34th ACM SIGPLAN Conference on Programming Language Design and Implementation<\/i>, pp.411-422, Association for Computing Machinery (online), DOI: 10.1145\/2491956.2462161 (2013).","DOI":"10.1145\/2491956.2462161"},{"key":"9","doi-asserted-by":"crossref","unstructured":"[9] Elliott, C. and Hudak, P.: Functional reactive animation, <i>Proc. 2nd ACM SIGPLAN International Conference on Functional Programming<\/i>, pp.263-273, Association for Computing Machinery (online), DOI: 10.1145\/258948.258973 (1997).","DOI":"10.1145\/258948.258973"},{"key":"10","doi-asserted-by":"crossref","unstructured":"[10] Elliott, C.M.: Push-pull functional reactive programming, <i>Proc. 2nd ACM SIGPLAN Symposium on Haskell<\/i>, pp.25-36, Association for Computing Machinery (online), DOI: 10.1145\/1596638.1596643 (2009).","DOI":"10.1145\/1596638.1596643"},{"key":"11","doi-asserted-by":"crossref","unstructured":"[11] Felleisen, M., Findler, R.B., Flatt, M. and Krishnamurthi, S.: A functional I\/O system or, fun for freshman kids, <i>Proc. 14th ACM SIGPLAN International Conference on Functional Programming<\/i>, pp.47-58, Association for Computing Machinery (online), DOI: 10.1145\/1596550.1596561 (2009).","DOI":"10.1145\/1596550.1596561"},{"key":"12","unstructured":"[12] Gaster, B.R. and Jones, M.P.: A Polymorphic Type System for Extensible Records and Variants, Technical Report NOTTCS-TR-96-3, Department of Computer Science, University of Nottingham (1996)."},{"key":"13","doi-asserted-by":"crossref","unstructured":"[13] Hudak, P., Courtney, A., Nilsson, H. and Peterson, J.: <i>Arrows, Robots, and Functional Reactive Programming<\/i>, pp.159-187, Springer Berlin Heidelberg (online), DOI: 10.1007\/978-3-540-44833-4_6 (2003).","DOI":"10.1007\/978-3-540-44833-4_6"},{"key":"14","doi-asserted-by":"crossref","unstructured":"[14] Jeffrey, A.: Functional reactive programming with liveness guarantees, <i>Proc. 18th ACM SIGPLAN International Conference on Functional Programming<\/i>, pp.233-244, Association for Computing Machinery (online), DOI: 10.1145\/2500365.2500584 (2013).","DOI":"10.1145\/2500365.2500584"},{"key":"15","doi-asserted-by":"crossref","unstructured":"[15] Kiselyov, O., L\u00e4mmel, R. and Schupke, K.: Strongly typed heterogeneous collections, <i>Proc. 2004 ACM SIGPLAN Workshop on Haskell<\/i>, <i>Haskell &apos;04<\/i>, pp.96-107, Association for Computing Machinery (online), DOI: 10.1145\/1017472.1017488 (2004).","DOI":"10.1145\/1017472.1017488"},{"key":"16","doi-asserted-by":"crossref","unstructured":"[16] Nilsson, H., Courtney, A. and Peterson, J.: Functional reactive programming, continued, <i>Proc. 2002 ACM SIGPLAN Workshop on Haskell<\/i>, <i>Haskell &apos;02<\/i>, pp.51-64, Association for Computing Machinery (online), DOI: 10.1145\/581690.581695 (2002).","DOI":"10.1145\/581690.581695"},{"key":"17","doi-asserted-by":"crossref","unstructured":"[17] van der Ploeg, A. and Claessen, K.: Practical principled FRP: Forget the past, change the future, FRPNow!, <i>Proc. 20th ACM SIGPLAN International Conference on Functional Programming<\/i>, pp.302-314, Association for Computing Machinery (online), DOI: 10.1145\/2784731.2784752 (2015).","DOI":"10.1145\/2784731.2784752"},{"key":"18","unstructured":"[18] R\u00e9my, D.: <i>Type Inference for Records in Natural Extension of ML<\/i>, pp.67-95, MIT Press (1994)."},{"key":"19","doi-asserted-by":"crossref","unstructured":"[19] Sawada, K. and Watanabe, T.: Emfrp: A functional reactive programming language for small-scale embedded systems, <i>Companion Proc. 15th International Conference on Modularity<\/i>, pp.36-44, Association for Computing Machinery (online), DOI: 10.1145\/2892664.2892670 (2016).","DOI":"10.1145\/2892664.2892670"}],"container-title":["Journal of Information Processing"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.jstage.jst.go.jp\/article\/ipsjjip\/33\/0\/33_368\/_pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,21]],"date-time":"2025-06-21T03:33:57Z","timestamp":1750476837000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.jstage.jst.go.jp\/article\/ipsjjip\/33\/0\/33_368\/_article"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025]]},"references-count":19,"journal-issue":{"issue":"0","published-print":{"date-parts":[[2025]]}},"URL":"https:\/\/doi.org\/10.2197\/ipsjjip.33.368","relation":{},"ISSN":["1882-6652"],"issn-type":[{"type":"electronic","value":"1882-6652"}],"subject":[],"published":{"date-parts":[[2025]]}}}