Keywords: Equation-based; non-causal modelling; Modelica; Functional Hybrid Modelling; structural analysis; types; type-based analysis; dependent types
Proceedings of the 2nd International Workshop on Equation-Based Object-Oriented Languages and Tools
 Alfred V. Aho; John E. Hopcroft; and Jeffrey D. Ullman. Data Structures and Algorithms. Addison-Wesley Publishing Company; 1983.
 David Broman; Kaj NystrĂ¶m; and Peter Fritzson. Determining over- and under-constrained systems of equations using structural constraint delta. In GPCE â€™06: Proceedings of the 5th international conference on Generative programming and component engineering; pages 151â€“160; Portland; Oregon; USA; 2006. ACM.
 Peter Bunus and Peter Fritzson. A debugging scheme for declarative equation based modeling languages. In Proceedings of the 4th International Symposium on Practical Aspects of Declarative Languages (PADL 2002); volume 2257 of Lecture Notes in Computer Science; pages 280â€“ 298; Portland; OR; USA; January 2002. Springer-Verlag.
 Peter Bunus and Peter Fritzson. Methods for structural analysis and debugging of Modelica models. In Proceedings of the 2nd International Modelica Conference; pages 157â€“ 165; Oberpfaffenhofen; Germany; March 2002.
 Antony Courtney; Henrik Nilsson; and John Peterson. The Yampa arcade. In Proceedings of the 2003 ACM SIGPLAN Haskell Workshop (Haskellâ€™03); pages 7â€“18; Uppsala; Sweden; August 2003. ACM Press.
 A. L. Dulmage and N. S. Mendelsohn. Coverings of bipartite graphs. Canadian Journal of Mathematics; 10:517â€“534; 1958.
 Hilding Elmqvist. A Structured Model Language for Large Continuous Systems. PhD thesis TFRT-1015; Department of Automatic Control; Lund Institute of Technology; 1978.
 George Giorgidze and Henrik Nilsson. Switched-on Yampa: Declarative programming of modular synthesizers. In Paul Hudak and David S. Warren; editors; Practical Aspects of Declarative Languages (PADL) 2008; volume 4902 of Lecture Notes in Computer Science; pages 282â€“298; San Francisco; CA; USA; January 2008. Springer-Verlag.
 Paul Hudak; Antony Courtney; Henrik Nilsson; and John Peterson. Arrows; robots; and functional reactive programming. In Johan Jeuring and Simon Peyton Jones; editors; Advanced Functional Programming; 4th International School 2002; volume 2638 of Lecture Notes in Computer Science; pages 159â€“187. Springer-Verlag; 2003.
 Andrew Kennedy. Dimension types. In Proceedings of the 5th European Symposium on Programming; number 788 in Lecture Notes in Computer Science. Springer-Verlag; 1994.
 The Modelica Association. Modelica â€“ A Unified Object- Oriented Language for Physical Systems Modeling: Tutorial version 1.4; December 2000.
 The Modelica Association. Modelica â€“ A Unified Object- Oriented Language for Physical Systems Modeling: Language Specification Version 3.0; September 2007.
 Henrik Nilsson; Antony Courtney; and John Peterson. Functional reactive programming; continued. In Proceedings of the 2002 ACM SIGPLAN Haskell Workshop (Haskellâ€™02); pages 51â€“64; Pittsburgh; Pennsylvania; USA; October 2002. ACM Press.
 Henrik Nilsson; John Peterson; and Paul Hudak. Functional hybrid modeling. In Proceedings of PADLâ€™03: 5th International Workshop on Practical Aspects of Declarativem Languages; volume 2562 of Lecture Notes in Computer Science; pages 376â€“390; New Orleans; Lousiana; USA; January 2003. Springer-Verlag.
 Henrik Nilsson; John Peterson; and Paul Hudak. Functional hybrid modeling from an object-oriented perspective. In Peter Fritzson; FranĂ§ois Cellier; and Christoph Nytsch- Geusen; editors; Proceedings of the 1st International Workshop on Equation-Based Object-Oriented Languages and Tools; number 24 in LinkĂ¶ping Electronic Conference Proceedings; pages 71â€“87. LinkĂ¶ping University Electronic Press; 2007.
 Benjamin C. Pierce. Types and Programming Languages. MIT Press; 2002.
 Simon Thompson. Type Theory and Functional Programming. Addison-Wesley Publishing Company; 1991.
 Zhanyong Wan and Paul Hudak. Functional reactive programming from first principles. In Proceedings of PLDIâ€™01: Symposium on Programming Language Design and Implementation; pages 242â€“252; June 2000.
 Hongwei Xi and Frank Pfenning. Eliminating array bound checking through dependent types. In Proceedings of ACM SIGPLAN Conference on Programming Language Design and Implementation; pages 249â€“257; Montreal; June 1998.
 Hongwei Xi and Frank Pfenning. Dependent types in practical programming. In Proceedings of ACM SIGPLAN Symposium on Principles of Programming Languages; pages 214â€“227; San Antonio; January 1999.