{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,5]],"date-time":"2026-02-05T09:48:13Z","timestamp":1770284893547,"version":"3.49.0"},"publisher-location":"New York, NY, USA","reference-count":21,"publisher":"ACM","license":[{"start":{"date-parts":[[2014,7,14]],"date-time":"2014-07-14T00:00:00Z","timestamp":1405296000000},"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":[[2014,7,14]]},"DOI":"10.1145\/2603088.2603106","type":"proceedings-article","created":{"date-parts":[[2014,7,28]],"date-time":"2014-07-28T13:21:45Z","timestamp":1406553705000},"page":"1-9","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":12,"title":["Functional reactive types"],"prefix":"10.1145","author":[{"given":"Alan","family":"Jeffrey","sequence":"first","affiliation":[{"name":"Alcatel-Lucent Bell Labs"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2014,7,14]]},"reference":[{"key":"e_1_3_2_1_1_1","unstructured":"The Agda wiki. http:\/\/wiki.portal.chalmers.se\/agda\/.  The Agda wiki. http:\/\/wiki.portal.chalmers.se\/agda\/."},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.5555\/647851.737401"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1023\/A:1011276507260"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.5555\/1792734.1792766"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/1995376.1995394"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-24851-4_21"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/258948.258973"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"crossref","unstructured":"N. Ghani P. Hancock and D. Pattinson. Representations of stream processors using nested fixed points. Logical Methods in Computer Science 5(3) 2009.  N. Ghani P. Hancock and D. Pattinson. Representations of stream processors using nested fixed points. Logical Methods in Computer Science 5(3) 2009.","DOI":"10.2168\/LMCS-5(3:9)2009"},{"key":"e_1_3_2_1_9_1","first-page":"108","volume-title":"Proc. Math. Foundations of Computer Science, number 74 in Lecture Notes in Computer Science","author":"Hennessy M.","year":"1979"},{"key":"e_1_3_2_1_10_1","first-page":"509","volume-title":"Proc. Int. Conf. Concurrency Theory, number 715 in Lecture Notes in Computer Science","author":"Honda K.","year":"1993"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/2103776.2103783"},{"key":"e_1_3_2_1_12_1","unstructured":"A. S. A. Jeffrey. Functional reactive types. http:\/\/ect.bell-labs.com\/who\/ajeffrey\/papers\/lics14.tgz 2013.  A. S. A. Jeffrey. Functional reactive types. http:\/\/ect.bell-labs.com\/who\/ajeffrey\/papers\/lics14.tgz 2013."},{"key":"e_1_3_2_1_13_1","volume-title":"Proc. Conf. Computer Science Logic","author":"Jeffrey A. S. A.","year":"2011"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/2428116.2428128"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/2541568.2541573"},{"key":"e_1_3_2_1_16_1","unstructured":"O. Kiselyov. Streams and iteratees. http:\/\/okmij.org\/ftp\/Streams.html.  O. Kiselyov. Streams and iteratees. http:\/\/okmij.org\/ftp\/Streams.html."},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1109\/LICS.2011.38"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1017\/S0956796807006326"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.5555\/646704.701881"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.5555\/647769.734103"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1109\/SFCS.1977.32"}],"event":{"name":"CSL-LICS '14: JOINT MEETING OF the Twenty-Third EACSL Annual Conference on COMPUTER SCIENCE LOGIC","location":"Vienna Austria","acronym":"CSL-LICS '14","sponsor":["SIGLOG ACM Special Interest Group on Logic and Computation","EACSL European Association for Computer Science Logic","IEEE-CS\\DATC IEEE Computer Society","SIGACT ACM Special Interest Group on Algorithms and Computation Theory"]},"container-title":["Proceedings of the Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM\/IEEE Symposium on Logic in Computer Science (LICS)"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2603088.2603106","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2603088.2603106","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T20:22:34Z","timestamp":1750278154000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2603088.2603106"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,7,14]]},"references-count":21,"alternative-id":["10.1145\/2603088.2603106","10.1145\/2603088"],"URL":"https:\/\/doi.org\/10.1145\/2603088.2603106","relation":{},"subject":[],"published":{"date-parts":[[2014,7,14]]},"assertion":[{"value":"2014-07-14","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}