{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,9]],"date-time":"2024-09-09T01:51:00Z","timestamp":1725846660028},"publisher-location":"Cham","reference-count":14,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319282275"},{"type":"electronic","value":"9783319282282"}],"license":[{"start":{"date-parts":[[2016,1,1]],"date-time":"2016-01-01T00:00:00Z","timestamp":1451606400000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2016]]},"DOI":"10.1007\/978-3-319-28228-2_10","type":"book-chapter","created":{"date-parts":[[2016,1,8]],"date-time":"2016-01-08T06:54:42Z","timestamp":1452236082000},"page":"153-168","source":"Crossref","is-referenced-by-count":8,"title":["Haskino: A Remote Monad for Programming the Arduino"],"prefix":"10.1007","author":[{"given":"Mark","family":"Grebe","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Andy","family":"Gill","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2016,1,9]]},"reference":[{"key":"10_CR1","unstructured":"Erkok, L.: Hackage package hArduino-0.9 (2014)"},{"key":"10_CR2","doi-asserted-by":"crossref","unstructured":"Gill, A., Sculthorpe, N., Dawson, J., Eskilson, A., Farmer, A., Grebe, M., Rosenbluth, J., Scott, R., Stanton, J.: The remote monad design pattern. In: Proceedings of the 8th ACM SIGPLAN Symposium on Haskell, pp. 59\u201370. ACM (2015)","DOI":"10.1145\/2887747.2804311"},{"key":"10_CR3","unstructured":"Steiner, H.C.: Firmata: Towards making microcontrollers act like extensions of the computer, pp. 125\u2013130 (2009)"},{"key":"10_CR4","unstructured":"Elliott, C.: Hackage package boolean-0.2.3 (2013)"},{"key":"10_CR5","doi-asserted-by":"crossref","unstructured":"Elliott, C., Hudak, P.: Functional reactive animation. In: International Conference on Functional Programming (1997)","DOI":"10.1145\/258948.258973"},{"issue":"2","key":"10_CR6","doi-asserted-by":"publisher","first-page":"455","DOI":"10.1017\/S0956796802004574","volume":"13","author":"C Elliott","year":"2003","unstructured":"Elliott, C., Finne, S., de Moor, O.: Compiling embedded languages. J. Funct. Program. 13(2), 455\u2013481 (2003)","journal-title":"J. Funct. Program."},{"key":"10_CR7","doi-asserted-by":"crossref","unstructured":"Elliott, T., Pike, L., Winwood, S., Hickey, P., Bielman, J., Sharp, J., Seidel, E., Launchbury, J.: Guilt free ivory. In: Proceedings of the 8th ACM SIGPLAN Symposium on Haskell, pp. 189\u2013200. ACM (2015)","DOI":"10.1145\/2887747.2804318"},{"key":"10_CR8","doi-asserted-by":"crossref","unstructured":"Axelsson, E., Claessen, K., D\u00e9vai, G., Horv\u00e1th, Z., Keijzer, K., Lyckeg\u00e5rd, B., Persson, A., Sheeran, M., Svenningsson, J., Vajdax, A.: Feldspar: a domain specific language for digital signal processing algorithms. In: MEMOCODE 2010, pp. 169\u2013178 (2010)","DOI":"10.1109\/MEMCOD.2010.5558637"},{"key":"10_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"121","DOI":"10.1007\/978-3-642-24276-2_8","volume-title":"Implementation and Application of Functional Languages","author":"E Axelsson","year":"2011","unstructured":"Axelsson, E., Claessen, K., Sheeran, M., Svenningsson, J., Engdal, D., Persson, A.: The design and implementation of feldspar. In: Hage, J., Moraz\u00e1n, M.T. (eds.) IFL 2010. LNCS, vol. 6647, pp. 121\u2013136. Springer, Heidelberg (2011)"},{"key":"10_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"85","DOI":"10.1007\/978-3-642-34407-7_6","volume-title":"Implementation and Application of Functional Languages","author":"A Persson","year":"2012","unstructured":"Persson, A., Axelsson, E., Svenningsson, J.: Generic monadic constructs for embedded languages. In: Gill, A., Hage, J. (eds.) IFL 2011. LNCS, vol. 7257, pp. 85\u201399. Springer, Heidelberg (2012)"},{"key":"10_CR11","doi-asserted-by":"crossref","unstructured":"Sculthorpe, N., Bracker, J., Giorgidze, G., Gill, A.: The constrained-monad problem. In: Proceedings of the 18th ACM SIGPLAN International Conference on Functional Programming, pp. 287\u2013298. ACM (2013)","DOI":"10.1145\/2544174.2500602"},{"key":"10_CR12","doi-asserted-by":"crossref","unstructured":"Farmer, A., Sculthorpe, N., Gill, A.: Reasoning with the HERMIT: tool support for equational reasoning on GHC core programs. In: Proceedings of the 8th ACM SIGPLAN Symposium on Haskell, pp. 23\u201334. ACM (2015)","DOI":"10.1145\/2887747.2804303"},{"key":"10_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"21","DOI":"10.1007\/978-3-642-40447-4_2","volume-title":"Trends in Functional Programming","author":"J Svenningsson","year":"2013","unstructured":"Svenningsson, J., Axelsson, E.: Combining deep and shallow embedding for EDSL. In: Loidl, H.-W., Pe\u00f1a, R. (eds.) TFP 2012. LNCS, vol. 7829, pp. 21\u201336. Springer, Heidelberg (2013)"},{"key":"10_CR14","doi-asserted-by":"crossref","unstructured":"Svenningsson, J.D., Svensson, B.J.: Simple and compositional reification of monadic embedded languages. In: Proceedings of the 18th International Conference on Functional Programming, pp. 299\u2013304. ACM (2013)","DOI":"10.1145\/2544174.2500611"}],"container-title":["Lecture Notes in Computer Science","Practical Aspects of Declarative Languages"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-28228-2_10","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,1]],"date-time":"2019-06-01T04:51:50Z","timestamp":1559364710000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-28228-2_10"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016]]},"ISBN":["9783319282275","9783319282282"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-28228-2_10","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2016]]}}}