{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:35:10Z","timestamp":1750307710918,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":42,"publisher":"ACM","license":[{"start":{"date-parts":[[2009,1,24]],"date-time":"2009-01-24T00:00:00Z","timestamp":1232755200000},"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":[[2009,1,24]]},"DOI":"10.1145\/1481861.1481870","type":"proceedings-article","created":{"date-parts":[[2009,1,29]],"date-time":"2009-01-29T13:45:53Z","timestamp":1233236753000},"page":"65-78","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":6,"title":["Opis"],"prefix":"10.1145","author":[{"given":"Pierre-\u00c9variste","family":"Dagand","sequence":"first","affiliation":[{"name":"\u00c9cole Normale Sup\u00e9rieure Cachan-Bretagne, Rennes, France"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Dejan","family":"Kosti\u0107","sequence":"additional","affiliation":[{"name":"\u00c9cole Polytechnique F\u00e9d\u00e9rale de Lausanne, Lausanne, Switzerland"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Viktor","family":"Kuncak","sequence":"additional","affiliation":[{"name":"\u00c9cole Polytechnique F\u00e9d\u00e9rale de Lausanne, Lausanne, Switzerland"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2009,1,24]]},"reference":[{"key":"e_1_3_2_1_2_1","volume-title":"The Foundations of Esterel","author":"Berry G.","year":"2000","unstructured":"G. Berry . The Foundations of Esterel . MIT Press , 2000 . G. Berry. The Foundations of Esterel. MIT Press, 2000."},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-662-07964-5","volume-title":"Interactive Theorem Proving and Program Development -- Coq'Art: The Calculus of Inductive Constructions","author":"Bertot Y.","year":"2004","unstructured":"Y. Bertot and P. Cast\u00e9ran . Interactive Theorem Proving and Program Development -- Coq'Art: The Calculus of Inductive Constructions . Springer , 2004 . Y. Bertot and P. Cast\u00e9ran. Interactive Theorem Proving and Program Development -- Coq'Art: The Calculus of Inductive Constructions. Springer, 2004."},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/190809.190318"},{"key":"e_1_3_2_1_5_1","volume-title":"USENIX ATC, page 13","author":"Burns B.","year":"2006","unstructured":"B. Burns , K. Grimaldi , A. Kostadinov , E. D. Berger , and M. D. Corner . Flux: a language for programming high-performance servers . In USENIX ATC, page 13 , 2006 . B. Burns, K. Grimaldi, A. Kostadinov, E. D. Berger, and M. D. Corner. Flux: a language for programming high-performance servers. In USENIX ATC, page 13, 2006."},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/165180.165228"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/511399.511380"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/871895.871897"},{"key":"e_1_3_2_1_9_1","volume-title":"HOTOS, page 3","author":"Cunningham R.","year":"2005","unstructured":"R. Cunningham and E. Kohler . Making events less slippery with eel . In HOTOS, page 3 , 2005 . R. Cunningham and E. Kohler. Making events less slippery with eel. In HOTOS, page 3, 2005."},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/258948.258973"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/1040305.1040315"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.5555\/36583.36598"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1006\/inco.1994.1035"},{"key":"e_1_3_2_1_14_1","volume-title":"ISRR","author":"Hager G.","year":"1999","unstructured":"G. Hager and J. Peterson . Frob: A transformational approach to the design of robot software . In ISRR , 1999 . G. Hager and J. Peterson. Frob: A transformational approach to the design of robot software. In ISRR, 1999."},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1109\/5.97300"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1017\/S0956796899003275"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.5555\/646483.691600"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1109\/32.588521"},{"key":"e_1_3_2_1_19_1","series-title":"LNCS","volume-title":"Advanced Functional Programming","author":"Hudak P.","year":"2002","unstructured":"P. Hudak , A. Courtney , H. Nilsson , and J. Peterson . Arrows, robots, and functional reactive programming . In Advanced Functional Programming , volume 2638 of LNCS , 2002 . P. Hudak, A. Courtney, H. Nilsson, and J. Peterson. Arrows, robots, and functional reactive programming. In Advanced Functional Programming, volume 2638 of LNCS, 2002."},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0167-6423(99)00023-4"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1145\/1243418.1243424"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1145\/1250734.1250755"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1145\/335305.335325"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.5555\/648234.753450"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1017\/S0956796800003683"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1145\/1111037.1111042"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1145\/1273442.1250756"},{"key":"e_1_3_2_1_28_1","volume-title":"HOTOS","author":"Lin S.","year":"2005","unstructured":"S. Lin , A. Pan , Z. Zhang , R. Guo , and Z. Guo . WiDS: an integrated toolkit for distributed system development . In HOTOS , 2005 . S. Lin, A. Pan, Z. Zhang, R. Guo, and Z. Guo. WiDS: an integrated toolkit for distributed system development. In HOTOS, 2005."},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2007.10.006"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1145\/319151.319157"},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1145\/1095809.1095818"},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1145\/1272998.1273009"},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.5555\/539036"},{"key":"e_1_3_2_1_34_1","series-title":"LNCS","doi-asserted-by":"crossref","DOI":"10.1007\/3-540-45949-9","volume-title":"Isabelle\/HOL: A Proof Assistant for Higher-Order Logic","author":"Nipkow T.","year":"2002","unstructured":"T. Nipkow , L. C. Paulson , and M. Wenzel . Isabelle\/HOL: A Proof Assistant for Higher-Order Logic , volume 2283 of LNCS . Springer-Verlag , 2002 . T. Nipkow, L. C. Paulson, and M. Wenzel. Isabelle\/HOL: A Proof Assistant for Higher-Order Logic, volume 2283 of LNCS. Springer-Verlag, 2002."},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1145\/507635.507664"},{"key":"e_1_3_2_1_36_1","volume-title":"Palgrave","author":"Paterson R.","year":"2003","unstructured":"R. Paterson . The Fun of Programming . Palgrave , 2003 . R. Paterson. The Fun of Programming. Palgrave, 2003."},{"key":"e_1_3_2_1_37_1","volume-title":"Technical Report TR92-1852","author":"Reppy J. H.","year":"1992","unstructured":"J. H. Reppy . Higher-Order Concurrency . Technical Report TR92-1852 , Cornell Univ , Ithaca, NY , 1992 . J. H. Reppy. Higher-Order Concurrency. Technical Report TR92-1852, Cornell Univ, Ithaca, NY, 1992."},{"key":"e_1_3_2_1_38_1","volume-title":"NSDI","author":"Rodriguez A.","year":"2004","unstructured":"A. Rodriguez , C. Killian , S. Bhat , D. Kostic , and A. Vahdat . MACEDON: methodology for automatically creating, evaluating, and designing overlay networks . In NSDI , 2004 . A. Rodriguez, C. Killian, S. Bhat, D. Kostic, and A. Vahdat. MACEDON: methodology for automatically creating, evaluating, and designing overlay networks. In NSDI, 2004."},{"key":"e_1_3_2_1_39_1","doi-asserted-by":"publisher","DOI":"10.1145\/1086365.1086370"},{"key":"e_1_3_2_1_40_1","doi-asserted-by":"publisher","DOI":"10.1145\/964723.383071"},{"key":"e_1_3_2_1_41_1","first-page":"13","author":"Voulgaris S.","year":"2005","unstructured":"S. Voulgaris , D. Gavidia , and M. Steen . Cyclon: Inexpensive membership management for unstructured p2p overlays. Journal of Network and Systems Management , 13 , 2005 . S. Voulgaris, D. Gavidia, and M. Steen. Cyclon: Inexpensive membership management for unstructured p2p overlays. Journal of Network and Systems Management, 13, 2005.","journal-title":"Journal of Network and Systems Management"},{"key":"e_1_3_2_1_42_1","doi-asserted-by":"publisher","DOI":"10.1007\/11549468_125"},{"first-page":"2","volume-title":"the","key":"e_1_3_2_1_43_1","unstructured":"MLDonkey , the p 2 p client for Linux\/Unix\/Windows . http:\/\/mldonkey.sourceforge.net\/. MLDonkey, the p2p client for Linux\/Unix\/Windows. http:\/\/mldonkey.sourceforge.net\/."}],"event":{"name":"POPL09: The 36th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages","ACM Association for Computing Machinery"],"location":"Savannah GA USA","acronym":"POPL09"},"container-title":["Proceedings of the 4th international workshop on Types in language design and implementation"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1481861.1481870","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1481861.1481870","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T13:30:10Z","timestamp":1750253410000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1481861.1481870"}},"subtitle":["reliable distributed systems in OCaml"],"short-title":[],"issued":{"date-parts":[[2009,1,24]]},"references-count":42,"alternative-id":["10.1145\/1481861.1481870","10.1145\/1481861"],"URL":"https:\/\/doi.org\/10.1145\/1481861.1481870","relation":{},"subject":[],"published":{"date-parts":[[2009,1,24]]},"assertion":[{"value":"2009-01-24","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}