{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,6]],"date-time":"2025-11-06T19:55:23Z","timestamp":1762458923706},"publisher-location":"Berlin, Heidelberg","reference-count":27,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642244513"},{"type":"electronic","value":"9783642244520"}],"license":[{"start":{"date-parts":[[2011,1,1]],"date-time":"2011-01-01T00:00:00Z","timestamp":1293840000000},"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":[[2011]]},"DOI":"10.1007\/978-3-642-24452-0_8","type":"book-chapter","created":{"date-parts":[[2011,9,26]],"date-time":"2011-09-26T05:52:52Z","timestamp":1317016372000},"page":"138-155","source":"Crossref","is-referenced-by-count":6,"title":["Embedding a Functional Hybrid Modelling Language in Haskell"],"prefix":"10.1007","author":[{"given":"George","family":"Giorgidze","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Henrik","family":"Nilsson","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"8_CR1","doi-asserted-by":"crossref","first-page":"225","DOI":"10.1145\/1411204.1411236","volume-title":"ICFP 2008: Proceeding of the 13th ACM SIGPLAN International Conference on Functional Programming","author":"L. Augustsson","year":"2008","unstructured":"Augustsson, L., Mansell, H., Sittampalam, G.: Paradise: a two-stage DSL embedded in Haskell. In: ICFP 2008: Proceeding of the 13th ACM SIGPLAN International Conference on Functional Programming, pp. 225\u2013228. ACM, New York (2008)"},{"key":"8_CR2","unstructured":"Broman, D.: Flow lambda calculus for declarative physical connection semantics. Technical Reports in Computer and Information Science No. 1. LIU Electronic Press (2007)"},{"key":"8_CR3","unstructured":"Broman, D., Fritzson, P.: Higher-order acausal models. In: Proceedings of the 2nd International Workshop on Equation-Based Object-Oriented Languages and Tools, Paphos, Cyprus, pp. 59\u201369. LIU Electronic Press (2008)"},{"key":"8_CR4","doi-asserted-by":"crossref","unstructured":"Cellier, F.E.: Object-oriented modelling: Means for dealing with system complexity. In: Proceedings of the 15th Benelux Meeting on Systems and Control, Mierlo, The Netherlands, pp. 53\u201364 (1996)","DOI":"10.1049\/ic:19960424"},{"key":"8_CR5","unstructured":"Cheong, M.H.: Functional programming and 3D games. BEng thesis, University of New South Wales, Sydney, Australia (November 2005)"},{"key":"8_CR6","doi-asserted-by":"crossref","unstructured":"Courtney, A., Nilsson, H., Peterson, J.: The Yampa arcade. In: Proceedings of the 2003 ACM SIGPLAN Haskell Workshop (Haskell 2003), Uppsala, Sweden, pp. 7\u201318. ACM Press, New York (2003)","DOI":"10.1145\/871895.871897"},{"key":"#cr-split#-8_CR7.2","unstructured":"7. Updated version of paper by the same name that appeared in SAIG 2000 proceedings"},{"key":"8_CR8","doi-asserted-by":"crossref","unstructured":"Elliott, C., Hudak, P.: Functional reactive animation. In: Proceedings of ICFP 1997: International Conference on Functional Programming, pp. 163\u2013173 (June 1997)","DOI":"10.1145\/258948.258973"},{"key":"8_CR9","doi-asserted-by":"crossref","unstructured":"Fritzson, P., Aronsson, P., Pop, A., Lundvall, H., Nystrom, K., Saldamli, L., Broman, D., Sandholm, A.: OpenModelica - a free open-source environment for system modeling, simulation, and teaching. In: 2006 IEEE International Symposium on Computer-Aided Control Systems Design, pp. 1588\u20131595 (October 2006)","DOI":"10.1109\/CACSD.2006.285495"},{"key":"8_CR10","doi-asserted-by":"crossref","unstructured":"Giorgidze, G., Nilsson, H.: Switched-on Yampa. In: Hudak, P., Warren, D.S. (eds.) PADL 2008. LNCS, vol.\u00a04902, pp. 282\u2013298. Springer, Heidelberg (2008)","DOI":"10.1007\/978-3-540-77442-6_19"},{"key":"8_CR11","doi-asserted-by":"crossref","unstructured":"Hudak, P.: Modular domain specific languages and tools. In: Proceedings of Fifth International Conference on Software Reuse, pp. 134\u2013142 (June 1998)","DOI":"10.1109\/ICSR.1998.685738"},{"key":"8_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"159","DOI":"10.1007\/978-3-540-44833-4_6","volume-title":"Advanced Functional Programming","author":"P. Hudak","year":"2003","unstructured":"Hudak, P., Courtney, A., Nilsson, H., Peterson, J.: Arrows, robots, and functional reactive programming. In: Jeuring, J., Jones, S.L.P. (eds.) AFP 2002. LNCS, vol.\u00a02638, pp. 159\u2013187. Springer, Heidelberg (2003)"},{"key":"8_CR13","doi-asserted-by":"publisher","first-page":"109","DOI":"10.1145\/331960.331977","volume-title":"Proceedings of the 2nd Conference on Domain-Specific Languages","author":"D. Leijen","year":"1999","unstructured":"Leijen, D., Meijer, E.: Domain specific embedded compilers. In: Proceedings of the 2nd Conference on Domain-Specific Languages, pp. 109\u2013122. ACM Press, New York (1999)"},{"key":"8_CR14","unstructured":"Lindley, S., Wadler, P., Yallop, J.: The arrow calculus, functional pearl (2008), http:\/\/homepages.inf.ed.ac.uk\/wadler\/topics\/links.html"},{"key":"8_CR15","unstructured":"Liu, H.: CS690 report of FHM. Available from Computer Science, Yale University (May 2005)"},{"key":"8_CR16","doi-asserted-by":"crossref","unstructured":"Mainland, G.: Why it\u2019s nice to be quoted: Quasiquoting for Haskell. In: Haskell 2007: Proceedings of the ACM SIGPLAN Workshop on Haskell Workshop, pp. 73\u201382. ACM, New York (2007)","DOI":"10.1145\/1291201.1291211"},{"key":"8_CR17","doi-asserted-by":"crossref","unstructured":"Mainland, G., Morrisett, G., Welsh, M.: Flask: Staged functional programming for sensor networks. In: Proceedings of the Thirteenth ACM SIGPLAN International Conference on Functional Programming (ICFP 2008), Victoria, British Columbia, Canada. ACM Press, New York (2008)","DOI":"10.1145\/1411204.1411251"},{"key":"8_CR18","unstructured":"The Modelica Association. Modelica \u2013 A unified object-oriented language for physical systems modeling: Language Specification version 3.0 (September 2007), http:\/\/www.modelica.org\/documents\/ModelicaSpec30.pdf"},{"key":"8_CR19","unstructured":"Nilsson, H.: Type-based structural analysis for modular systems of equations. In: Fritzson, P., Cellier, F., Broman, D. (eds.) Proceedings of the 2nd International Workshop on Equation-Based Object-Oriented Languages and Tools, Paphos, Cyprus. Link\u00f6ping Electronic Conference Proceedings, vol.\u00a029, pp. 71\u201381. Link\u00f6ping University Electronic Press (July 2008)"},{"key":"8_CR20","doi-asserted-by":"crossref","first-page":"51","DOI":"10.1145\/581690.581695","volume-title":"Proceedings of the 2002 ACM SIGPLAN Haskell Workshop (Haskell 2002)","author":"H. Nilsson","year":"2002","unstructured":"Nilsson, H., Courtney, A., Peterson, J.: Functional reactive programming, continued. In: Proceedings of the 2002 ACM SIGPLAN Haskell Workshop (Haskell 2002), Pittsburgh, Pennsylvania, USA, pp. 51\u201364. ACM Press, New York (2002)"},{"key":"8_CR21","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"376","DOI":"10.1007\/3-540-36388-2_25","volume-title":"Practical Aspects of Declarative Languages","author":"H. Nilsson","year":"2002","unstructured":"Nilsson, H., Peterson, J., Hudak, P.: Functional Hybrid Modeling. In: Dahl, V. (ed.) PADL 2003. LNCS, vol.\u00a02562, pp. 376\u2013390. Springer, Heidelberg (2002)"},{"key":"8_CR22","unstructured":"Nilsson, H., Peterson, J., Hudak, P.: Functional hybrid modeling from an object-oriented perspective. In: Fritzson, P., Cellier, F., Nytsch-Geusen, C. (eds.) Proceedings of the 1st International Workshop on Equation-Based Object-Oriented Languages and Tools. Link\u00f6ping Electronic Conference Proceedings, vol.\u00a024, pp. 71\u201387. Link\u00f6ping University Electronic Press (2007)"},{"key":"8_CR23","unstructured":"Nytsch-Geusen, C., Ernst, T., Nordwig, A., Schwarz, P., Schneider, P., Vetter, M., Wittwer, C., Nouidui, T., Holm, A., Leopold, J., Schmidt, G., Mattes, A., Doll, U.: MOSILAB: Development of a modelica based generic simulation tool supporting model structural dynamics. In: Proceedings of the 4th International Modelica Conference, Hamburg, Germany, pp. 527\u2013535 (2005)"},{"key":"8_CR24","doi-asserted-by":"crossref","unstructured":"Paterson, R.: A new notation for arrows. In: Proceedings of the 2001 ACM SIGPLAN International Conference on Functional Programming, Firenze, Italy, pp. 229\u2013240 (September 2001)","DOI":"10.1145\/507635.507664"},{"key":"8_CR25","doi-asserted-by":"crossref","unstructured":"Pellauer, M., Forsberg, M., Ranta, A.: BNF Converter: Multilingual front-end generation from labelled BNF grammars. Technical report, Computing Science at Chalmers University of Technology and Gothenburg University (September 2004)","DOI":"10.1145\/1017472.1017475"},{"key":"8_CR26","doi-asserted-by":"crossref","unstructured":"Wan, Z., Hudak, P.: Functional reactive programming from first principles. In: Proceedings of PLDI 2001: Symposium on Programming Language Design and Implementation, pp. 242\u2013252 (June 2000)","DOI":"10.1145\/349299.349331"},{"key":"8_CR27","unstructured":"Zimmer, D.: Introducing Sol: A general methodology for equation-based modeling of variable-structure systems. In: Proceedings of the 6th International Modelica Conference, Bielefeld, Germany, pp. 47\u201356 (2008)"}],"container-title":["Lecture Notes in Computer Science","Implementation and Application of Functional Languages"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-24452-0_8","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,12,7]],"date-time":"2021-12-07T17:06:15Z","timestamp":1638896775000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-24452-0_8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011]]},"ISBN":["9783642244513","9783642244520"],"references-count":27,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-24452-0_8","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2011]]}}}