{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,8]],"date-time":"2024-09-08T01:21:50Z","timestamp":1725758510543},"publisher-location":"Berlin, Heidelberg","reference-count":24,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642452833"},{"type":"electronic","value":"9783642452840"}],"license":[{"start":{"date-parts":[[2013,1,1]],"date-time":"2013-01-01T00:00:00Z","timestamp":1356998400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013]]},"DOI":"10.1007\/978-3-642-45284-0_16","type":"book-chapter","created":{"date-parts":[[2013,11,25]],"date-time":"2013-11-25T00:54:34Z","timestamp":1385340874000},"page":"228-243","source":"Crossref","is-referenced-by-count":3,"title":["Dependently Typed Web Client Applications"],"prefix":"10.1007","author":[{"given":"Alan","family":"Jeffrey","sequence":"first","affiliation":[]}],"member":"297","reference":[{"unstructured":"The Agda wiki, \n                  \n                    http:\/\/wiki.portal.chalmers.se\/agda\/","key":"16_CR1"},{"unstructured":"Asynchronous module definition API, \n                  \n                    https:\/\/github.com\/amdjs\/","key":"16_CR2"},{"unstructured":"The Coq proof assistant, \n                  \n                    http:\/\/coq.inria.fr\/","key":"16_CR3"},{"unstructured":"ECMAScript back end for functional reactive programming in Agda, \n                  \n                    https:\/\/github.com\/agda\/agda-frp-js","key":"16_CR4"},{"unstructured":"The Epigram\u00a02 programming language, \n                  \n                    http:\/\/www.e-pig.org\/darcs\/Pig09\/web\/","key":"16_CR5"},{"unstructured":"Froc: Functional reactive programming in O\u2019Caml, \n                  \n                    https:\/\/jaked.github.com\/froc\/","key":"16_CR6"},{"unstructured":"ECMAScript language specification. ECMA Standard 262, 5.1 Edn. (2011)","key":"16_CR7"},{"unstructured":"Acar, U.A.: Self-Adjusting Computation. PhD thesis, Carnegie Mellon Univ. (2005)","key":"16_CR8"},{"doi-asserted-by":"crossref","unstructured":"Buchlovsky, P., Thielecke, H.: A type-theoretic reconstruction of the visitor pattern. In: Proc. Mathematical Foundations of Programming Semantics, pp. 309\u2013329 (2006)","key":"16_CR9","DOI":"10.1016\/j.entcs.2005.11.061"},{"doi-asserted-by":"crossref","unstructured":"Burstall, R.M., MacQueen, D.B., Sannella, D.: HOPE: An experimental applicative language. In: Proc. LISP Conf., pp. 136\u2013143 (1980)","key":"16_CR10","DOI":"10.1145\/800087.802799"},{"doi-asserted-by":"crossref","unstructured":"Cardelli, L.: Compiling a functional language. In: Proc. ACM Symp. LISP and Functional Programming, pp. 208\u2013217 (1984)","key":"16_CR11","DOI":"10.1145\/800055.802037"},{"key":"16_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"294","DOI":"10.1007\/11693024_20","volume-title":"Programming Languages and Systems","author":"G.H. Cooper","year":"2006","unstructured":"Cooper, G.H., Krishnamurthi, S.: Embedding dynamic dataflow in a call-by-value language. In: Sestoft, P. (ed.) ESOP 2006. LNCS, vol.\u00a03924, pp. 294\u2013308. Springer, Heidelberg (2006)"},{"doi-asserted-by":"crossref","unstructured":"Elliott, C., Hudak, P.: Functional reactive animation. In: Proc. Int. Conf. Functional Programming, pp. 263\u2013273 (1997)","key":"16_CR13","DOI":"10.1145\/258949.258973"},{"unstructured":"Gamma, E., Helm, R., Johnson, R., Vlissides, J.: Design Patterns: Elements of Reusable Object-Oriented Software. Addison-Wesley (1994)","key":"16_CR14"},{"unstructured":"Hickson, I., et al.: HTML5: A vocabulary and associated APIs for HTML and XHTML. W3C Working Draft (2011), \n                  \n                    http:\/\/www.w3.org\/TR\/html5\/","key":"16_CR15"},{"doi-asserted-by":"crossref","unstructured":"Jeffrey, A.S.A.: LTL types FRP: Linear-time temporal logic propositions as types, proofs as functional reactive programs. In: Proc. ACM Workshop Programming Languages Meets Program Verification (2012)","key":"16_CR16","DOI":"10.1145\/2103776.2103783"},{"unstructured":"Jeltsch, W.: Signals, not generators! In: Proc. Symp. Trends in Functional Programming, pp. 283\u2013297 (2009)","key":"16_CR17"},{"unstructured":"Jeltsch, W.: The Curry-Howard correspondence between temporal logic and functional reactive programming (2011), \n                  \n                    http:\/\/www.cs.ut.ee\/~varmo\/tday-nelijarve\/jeltsch-slides.pdf","key":"16_CR18"},{"doi-asserted-by":"crossref","unstructured":"Krishnaswami, N., Benton, N.: A semantic model for graphical user interfaces. In: Proc. ACM Int. Conf. Functional Programming, pp. 45\u201357 (2011)","key":"16_CR19","DOI":"10.1145\/2034574.2034782"},{"unstructured":"Ley-Wild, R.: Programmable Self-Adjusting Computation. PhD thesis, Carnegie Mellon Univ. (2010)","key":"16_CR20"},{"doi-asserted-by":"crossref","unstructured":"Meyerovich, L.A., Guha, A., Baskin, J., Cooper, G.H., Greenberg, M., Bromfield, A., Krishnamurthi, S.: Flapjax: a programming language for Ajax applications. In: Proc. ACM Conf. Object Oriented Programming Systems Languages and Applications, pp. 1\u201320 (2009)","key":"16_CR21","DOI":"10.1145\/1639949.1640091"},{"key":"16_CR22","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"122","DOI":"10.1007\/3-540-57182-5_8","volume-title":"Mathematical Foundations of Computer Science 1993","author":"A.M. Pitts","year":"1993","unstructured":"Pitts, A.M., Stark, I.D.B.: Observable properties of higher order functions that dynamically create local names, or: What\u2019s new? In: Borzyszkowski, A.M., Sokolowski, S. (eds.) MFCS 1993. LNCS, vol.\u00a0711, pp. 122\u2013141. Springer, Heidelberg (1993)"},{"doi-asserted-by":"crossref","unstructured":"Pnueli, A.: The temporal logic of programs. In: Proc. Symp. Foundations of Computer Science, pp. 46\u201357 (1977)","key":"16_CR23","DOI":"10.1109\/SFCS.1977.32"},{"doi-asserted-by":"crossref","unstructured":"Wadler, P.: Views: a way for pattern matching to cohabit with data abstraction. In: Proc. ACM Symp. Principles of Programming Languages, pp. 307\u2013313 (1987)","key":"16_CR24","DOI":"10.1145\/41625.41653"}],"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-45284-0_16","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,1,9]],"date-time":"2020-01-09T09:59:33Z","timestamp":1578563973000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-45284-0_16"}},"subtitle":["FRP in Agda in HTML5"],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783642452833","9783642452840"],"references-count":24,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-45284-0_16","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2013]]}}}