{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:19:02Z","timestamp":1750306742688,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":5,"publisher":"ACM","license":[{"start":{"date-parts":[[2014,7,28]],"date-time":"2014-07-28T00:00:00Z","timestamp":1406505600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/501100002347","name":"Bundesministerium f\u00fcr Bildung und Forschung","doi-asserted-by":"publisher","award":["01IW13001"],"award-info":[{"award-number":["01IW13001"]}],"id":[{"id":"10.13039\/501100002347","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2014,7,28]]},"DOI":"10.1145\/2637647.2637652","type":"proceedings-article","created":{"date-parts":[[2014,7,29]],"date-time":"2014-07-29T12:29:52Z","timestamp":1406636992000},"page":"63-66","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":1,"title":["Real-time collaborative Scala development with Clide"],"prefix":"10.1145","author":[{"given":"Martin","family":"Ring","sequence":"first","affiliation":[{"name":"DFKI Bremen"}]},{"given":"Christoph","family":"L\u00fcth","sequence":"additional","affiliation":[{"name":"DFKI Bremen, Universit\u00e4t Bremen"}]}],"member":"320","published-online":{"date-parts":[[2014,7,28]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"Collaborative Interactive Theorem Proving with Clide. Interactive Theorem Proving ITP","author":"Ring M.","year":"2014","unstructured":"Ring , M. , L\u00fcth C. : Collaborative Interactive Theorem Proving with Clide. Interactive Theorem Proving ITP 2014 , LNAI 8588 Springer ( 2014) 467--482. Ring, M., L\u00fcth C.: Collaborative Interactive Theorem Proving with Clide. Interactive Theorem Proving ITP 2014, LNAI 8588 Springer (2014) 467--482."},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-39320-4_22"},{"key":"e_1_3_2_1_3_1","volume-title":"Lassen","author":"Wang D.","year":"2014","unstructured":"Wang , D. , Mah , A. , Lassen , S. : Google Wave operational transformation. http:\/\/tinyurl.com\/q6xwdu7 (Accessed : 30.01. 2014 ). Wang, D., Mah, A., Lassen, S.: Google Wave operational transformation. http:\/\/tinyurl.com\/q6xwdu7 (Accessed: 30.01.2014)."},{"key":"e_1_3_2_1_4_1","unstructured":"Doeraene S.: Scala.js website. http:\/\/www.scala-js.org (Accessed: 14.05.2014).  Doeraene S.: Scala.js website. http:\/\/www.scala-js.org (Accessed: 14.05.2014)."},{"key":"e_1_3_2_1_5_1","volume-title":"T.: A code generator framework for Isabelle\/HOL. Theorem Proving in Higher Order Logics (TPHOLs","author":"Haftmann F.","year":"2007","unstructured":"Haftmann , F. , Nipkow , T.: A code generator framework for Isabelle\/HOL. Theorem Proving in Higher Order Logics (TPHOLs 2007 ), Emerging Trends Proceedings. Dept . of Comp. Sci, U Kaiserslautern (2007) 128--143 Haftmann, F., Nipkow, T.: A code generator framework for Isabelle\/HOL. Theorem Proving in Higher Order Logics (TPHOLs 2007), Emerging Trends Proceedings. Dept. of Comp. Sci, U Kaiserslautern (2007) 128--143"}],"event":{"name":"ECOOP '14: European Conference on Object-Oriented Programming","sponsor":["Uppsala University, Department of Information Science Uppsala University, Department of Information Science","AITO Assoc Internationale por les Technologies Objects","SIGPLAN ACM Special Interest Group on Programming Languages","SIGSOFT ACM Special Interest Group on Software Engineering"],"location":"Uppsala Sweden","acronym":"ECOOP '14"},"container-title":["Proceedings of the Fifth Annual Scala Workshop"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2637647.2637652","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2637647.2637652","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T07:28:17Z","timestamp":1750231697000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2637647.2637652"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,7,28]]},"references-count":5,"alternative-id":["10.1145\/2637647.2637652","10.1145\/2637647"],"URL":"https:\/\/doi.org\/10.1145\/2637647.2637652","relation":{},"subject":[],"published":{"date-parts":[[2014,7,28]]},"assertion":[{"value":"2014-07-28","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}