Refereed Publications

Ivan Perez and Henrik Nilsson. Runtime verification and validation of functional reactive systems. Journal of Functional Programming, 30:e28, 55 pages, August 2020.
Abstract BibTeX Pre-print version (PDF, 928 KiB) Official link (Cambridge University Press)


Klaus Gürlebeck, Dmitrii Legatiuk, Henrik Nilsson, and Kay Smarsly. Conceptual modelling: Towards detecting modelling errors in engineering applications. Mathematical Methods in the Applied Sciences, 43(3):1243–1252, February 2020.
Abstract BibTeX Published version (PDF, 300 KiB) Official link (Wiley)


G. Schweiger, H. Nilsson, J. Schoeggl, W. Birk, and A. Posch. Modeling and simulation of large-scale systems: A systematic comparison of modeling paradigms. Applied Mathematics and Computation, 365:124713, January 2020.
Abstract BibTeX Pre-print version (PDF, 432 KiB) Official link (Elsevier)


Guerric Chupin and Henrik Nilsson. Functional reactive programming, restated Proceedings of the 21st International Symposium on Principles and Practice of Declarative Programming (PPDP 2019), 1–14, October 2019.
Abstract BibTeX Pre-print version (PDF, 798 KiB) Official link (ACM DL)


Thomas A. Nielsen, Dominic Steinitz, and Henrik Nilsson. Getting more out of Stan: some ideas from the Haskell bindings. In StanCon 2018, Helsinki, Finland, 29–31August 2018.
Abstract BibTeX Pre-print version (HTML) Pre-print version (PDF, 211 KiB) StanCon 2018 Helsinki Website


Dmitrij Legatiuk and Henrik Nilsson. Abstract modelling: towards a typed declarative language for the conceptual modelling phase. In Proceedings of the 8th International Workshop on Equation-Based Object-Oriented Modeling Languages and Tools (EOOLT 2017), pages 61–64, Weßling, Germany, December 2017.
Abstract BibTeX Pre-print version (PDF, 602 KiB) Official link (ACM DL)


Ivan Perez and Henrik Nilsson. Testing and Debugging Functional Reactive Programming. Proceedings ACM Programming Languages, 1(1):Article 2, 27 pages, September 2017.
Abstract BibTeX Pre-print version (PDF, 457 KiB) Nottingham ePrints (PDF) Official link (ACM DL)


Henrik Nilsson and Guerric Chupin. Funky grooves: Declarative programming of full-fledged musical applications. In 19th International Symposium on Practical Aspects of Declarative Languages (PADL 2017), volume 10137 of Lecture Notes in Computer Science, pages 163–172, Paris, January 2017. Springer.
Abstract BibTeX Pre-print version (PDF, Nottingham ePrints) Official link (Springer)

See also the technical report version.


Ivan Perez, Manuel Bärenz, and Henrik Nilsson. Functional reactive programming, refactored. In Proceedings of the 9th ACM SIGPLAN Symposium on Haskell (Haskell'16), pages 33–44, Nara, Japan, September 2016. ACM.
Abstract BibTeX Official link (ACM DL)


Jan Bracker and Henrik Nilsson. Supermonads: One notion to bind them all. In Proceedings of the 9th ACM SIGPLAN Symposium on Haskell (Haskell'16), pages 158–169 Nara, Japan, September 2016. ACM.
Abstract BibTeX Paper (PDF, ACM DL)


Wil O. C. Ward, Paul B. Wilkinson, Jon E. Chambers, Henrik Nilsson, Oliver Kuras, and Li Bai. Tracking tracer motion in a 4-D electrical resistivity tomography experiment. Water Resources Research, 52(5), pages 4078–4094, 2016
Abstract BibTeX Paper


Jan Bracker and Henrik Nilsson. Polymonad programming in Haskell. In Proceedings of the 27th symposium on Implementation and Application of Functional Languages (IFL 2015), pages 3:1–3:12, Koblenz, Germany, 2016. ACM
Abstract BibTeX Paper (PDF, ACM DL)


Ivan Perez and Henrik Nilsson. Bridging the GUI gap with reactive values and relations. In Ben Lippmeier, editor, Proceedings of the 8th ACM SIGPLAN Symposium on Haskell (Haskell'15), pages 47–58, Vancouver, Canada, 2015. ACM.
Abstract BibTeX Paper (PDF, ACM DL)


Henrik Nilsson and Thomas A. Nielsen. Declarative modelling for Bayesian inference by shallow embedding. In Proceedings of the 6st International Workshop on Equation-Based Object-Oriented Modeling Languages and Tools (EOOLT 2014), pages 39–42, Berlin, Germany, October 2014. ACM.
Abstract BibTeX Paper (PDF, ACM DL)


Bas van Gijzel and Henrik Nilsson. A principled approach to the implementation of argumentation models. In Simon Parsons, Nir Oren, Chris Reed, and Federico Cerutti, editors, Proceedings of the Fifth International Conference on Computational Models of Argument (COMMA 2014), volume 266 of Frontiers in Artificial Intelligence and Applications, pages 293–300, Dundee, Scotland, September 2014. IOS Press.
Abstract BibTeX Paper (PDF, 120 KiB)


David McGillicuddy, Andrew J. Parkes, and Henrik Nilsson. An investigation into the use of Haskell for dynamic programming (Extended Abstract). In Ender Özcan, Edmund K. Burke, and Barry McCollum, editors, Proceedings of the 10th International Conference on the Practice and Theory of Automated Timetabling (PATAT 2014), pages 508–511, York, UK, August 2014.
Abstract BibTeX Paper (PDF, 96 KiB)


John Joseph Capper and Henrik Nilsson. Structural types for systems of equations: Type refinements for structurally dynamic first-class modular systems of equations. Higher-Order and Symbolic Computation, October 2013.
Abstract BibTeX Paper (PDF, 296 KiB)


Bas van Gijzel and Henrik Nilsson. Towards a framework for the implementation and verification of translations between argumentation models. In Proceedings of the 25th symposium on Implementation and Application of Functional Languages (IFL 2013), pages 93–103. ACM, August 2013.
Abstract BibTeX Paper (PDF, ACM DL)


Bas van Gijzel and Henrik Nilsson. Haskell gets argumentative. In Trends in Functional Programming: 13th International Symposium, TFP 2012, St Andrews, UK, June 2012, Revised Selected Papers, volume 7829 of Lecture Notes in Computer Science, pages 258–272. Springer-Verlag, 2012.
Abstract BibTeX Paper (PDF, 158 KiB)


Thomas A. Nielsen, Henrik Nilsson, and Tom Matheson. A formal mathematical framework for physiological observations, experiments and analyses. Journal of The Royal Society Interface, 9(70):1040–1050, May 2012.
Abstract BibTeX Paper (HTML + PDF, Royal Society)


John Joseph Capper and Henrik Nilsson. Towards a formal semantics for a structurally dynamic noncausal modelling language. In Types in Language Design and Implementation, pages 39–50, Philadelphia, PA, USA, January 2012. ACM Press.
Abstract BibTeX Paper (PDF, ACM DL)


David Broman and Henrik Nilsson. Node-Based Connection Semantics for Equation-Based Object-Oriented Modeling Languages. In Proceedings of the Fourteenth International Symposium on Practical Aspects of Declarative Languages (PADL 2012), volume 7149 of Lecture Notes in Computer Science, pages 258–272, Philadelphia, PA, USA, January 2012. Springer.
Abstract BibTeX Paper (PDF, 256 kiB)


John Joseph Capper and Henrik Nilsson. Static balance checking for first-class modular systems of equations. In Rex Page, Zoltán Horváth, and Viktória Zsók, editors, Trends in Functional Programming: 11th International Symposium, TFP 2010, Norman, OK, USA, May 2010, Revised Selected Papers, volume 6546 of Lecture Notes in Computer Science, pages 50–65. Springer-Verlag 2011.
Abstract BibTeX Paper (PDF, 191 KiB)


George Giorgidze and Henrik Nilsson. Embedding a Functional Hybrid Modelling Language in Haskell. In Sven-Bodo Scholz and Olaf Chitil, editors, Implementation and Application of Functional Languages: 20th International Symposium, IFL 2008, Revised Selected Papers, volume 5836 of Lecture Notes in Computer Science, pages 138–155. Springer-Verlag, 2011.
Abstract BibTeX Paper (PDF, 185 KiB)


George Giorgidze and Henrik Nilsson. Mixed-level Embedding and JIT Compilation for an Iteratively Staged DSL. In Julio Mariño, editor, Proceedings of the 19th Workshop on Functional and (Constraint) Logic Programming (WFLP 2010), volume 6559 of Lecture Notes in Computer Science, pages 48–65, Springer-Verlag, 2011.
Abstract BibTeX Paper (PDF, 272 KiB)


Neil Sculthorpe and Henrik Nilsson. Keeping calm in the face of change: Towards optimisation of FRP by reasoning about change. Journal of Higher-Order and Symbolic Computation, 2011, 23(2):227-271, 2011
Abstract BibTeX Paper (PDF, 339 KiB)


Henrik Nilsson and George Giorgidze. Exploiting structural dynamism in Functional Hybrid Modelling for simulation of ideal diodes. In Proceedings of the 7th EUROSIM Congress on Modelling and Simulation, Prague, Czech Republic, September 2010. Czech Technical University Publishing House.
Abstract BibTeX Paper (PDF, 153 KiB)


Thomas A. Nielsen, Tom Matheson, and Henrik Nilsson. Braincurry: A domain-specific language for integrative neuroscience. In Zoltán Horváth, Viktória Zsók and Pieter Koopman, editors, Trends in Functional Programming Volume 10 (TFP 2009, Revised Selected Papers), pages 161–176. Intellect, September 2010.
Abstract BibTeX Paper (PDF, 296 KiB)


Neil Sculthorpe and Henrik Nilsson. Safe Functional Reactive Programming through Dependent Types. In Proceedings of the Fourteenth ACM SIGPLAN International Conference on Functional Programming (ICFP'09), pages 23–34, Edinburgh, Scotland, September 2009. ACM Press.
Abstract BibTeX Paper (PDF, ACM DL)


George Giorgidze and Henrik Nilsson. Higher-Order Non-Causal Modelling and Simulation of Structurally Dynamic Systems. In Proceedings of the 7th International Modelica Conference, pages 208–218, Como, Italy, September 2009. Linköping University Electronic Press.
Abstract BibTeX Paper (PDF, Linköping University Electronic Press)


Neil Sculthorpe and Henrik Nilsson. Optimisation of Dynamic, Hybrid Signal Function Networks. In Trends in Functional Programming Volume 9 (TFP 2008, Revised Selected Papers), pages 97–112. Intellect, 2009.
Abstract BibTeX Paper (PDF, 112 KiB)


Henrik Nilsson. Type-Based Structural Analysis for Modular Systems of Equations. Simulation News Europe 19(1):17–28. April 2009. (Also in Peter Fritzson, François Cellier, and David Broman, editors, Proceedings of the 2nd International Workshop on Equation-Based Object-Oriented Languages and Tools, number 29 in Linköping Electronic Conference Proceedings, pages 71–81. Linköping University Electronic Press, 2008.)
Abstract BibTeX Paper (PDF, Linköping University Electronic Press)


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.
Abstract BibTeX Paper (PDF, 447 KiB)


Henrik Nilsson, John Peterson, and Paul Hudak. Functional hybrid modeling from an object-oriented perspective. Simulation News Europe, 17(2):29–38, September 2007. (Also 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.)
Abstract BibTeX Paper (Linköping University Electronic Press)


Ondřej Rypáček, Roland Backhouse, and Henrik Nilsson. Type-theoretic design patterns. In Proceedings of the 2006 ACM SIGPLAN Workshop on Generic Programming, pages 13–22, Portland, Oregon, USA, September 2006. ACM Press.
Abstract BibTeX Paper (PDF, ACM DL)


Henrik Nilsson. Dynamic Optimization for Functional Reactive Programming using Generalized Algebraic Data Types. In Proceedings of the 2005 ACM SIGPLAN International Conference of Functional Programming (ICFP'05), pages 54–65, Tallinn, Estonia, September 2005. ACM Press.
Abstract BibTeX Paper (PDF, ACM DL)


Antony Courtney and 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.
Abstract BibTeX Paper (PDF, ACM DL)


Henrik Nilsson. Functional Automatic Differentiation with Dirac Impulses. In Proceedings of the Eight ACM SIGPLAN International Conference on Functional Programming, pages 153–164, Uppsala, Sweden, August 2003. ACM Press.
Abstract BibTeX Paper (PDF, ACM DL)


Henrik Nilsson, John Peterson, and Paul Hudak. Functional hybrid modeling. In Proceedings of PADL'03: 5th International Workshop on Practical Aspects of Declarative Languages, volume 2562 of Lecture Notes in Computer Science, pages 376–390, New Orleans, Lousiana, USA, January 2003. Springer-Verlag.
Abstract BibTeX Paper (PDF, 156 KiB)


Izzet Pembeci, Henrik Nilsson, and Gregory Hager. System presentation — Functional reactive robotics: an excercise in principled integration of domain-specific languages. In Principles and Practice of Declarative Programming (PPDP'02), pages 168–179, Pittsburgh, Pennsylvania, USA, October 2002.
Abstract BibTeX Paper (PDF, ACM DL)


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.
Abstract BibTeX Paper (PDF, ACM DL)


Henrik Nilsson. How to look busy while being as lazy as ever: the implementation of a lazy functional debugger. Journal of Functional Programming, 11(6):629–671, November 2001
Abstract BibTeX Paper (PDF, 334 KiB)


Isabelle Attali, Denis Caromel, Carine Courbis, Ludovic Henrio, and Henrik Nilsson. An integrated development environment for Java Card. Computer Networks, 36(4):391–405, July 2001.
Abstract BibTeX Paper (PDF, 784 KiB)


Isabelle Attali, Denis Caromel, Carine Courbis, Ludovic Henrio, and Henrik Nilsson. Smart tools for Java cards. Proceedings of the IFIP Fourth Working Conferenc on Smart Card Research and Advanced Applications, Bristol, UK, September 2000.
Abstract BibTeX Paper (PDF, 756 KiB)


Isabelle Attali, Denis Caromel, Henrik Nilsson, and Marjorie Russo. From executable formal specification to Java property verification. Second ECOOP Workshop on Formal Techniques for Java Programs, pages 1–7, Sophia Antipolis, France, June 2000.
Abstract BibTeX


Henrik Nilsson. Tracing piece by piece: affordable debugging for lazy functional languages. Proceedings of the 1999 ACM SIGPLAN International Conference on Functional Programming, pages 36–47, Paris, France, September 1999.
Abstract BibTeX Paper (PDF, ACM DL)


Henrik Nilsson and Jan Sparud. The evaluation dependence tree as a basis for lazy functional debugging. Automated Software Engineering, 4(2):121–150, April 1997.
Abstract BibTeX Paper (PDF, 224 KiB)


Jan Sparud and Henrik Nilsson. The architecture of a debugger for lazy functional languages. In Mireille Ducassé, editor, Proceedings of AADEBUG '95, 2nd Internatinal Workshop on Automated and Algorithmic Debugging, Saint-Malo, France, May 1995, IRISA, Campus Universitaire de Beaulieu, 35042 Rennes, Cedex, France.
Abstract BibTeX Postscript (133 KiB)


Henrik Nilsson and Peter Fritzson. Algorithmic debugging for lazy functional languages. Journal of Functional Programming, 4(3):337–370, July 1994.
Abstract BibTeX Paper (PDF, 210 KiB)


Henrik Nilsson and Peter Fritzson. Lazy algorithmic debugging: ideas for practical implementation. In Peter Fritzson, editor, Automated and Algorithmic Debugging, volume 749 of Lecture Notes in Computer Science, pages 117–134, Linköping, Sweden, May 1993.
Abstract BibTeX Postscript (39 KiB)


Edited Volumes

David Janin and Henrik Nilsson, editors. Proceedings of the 3rd ACM SIGPLAN International Workshop on Functional Art, Music, Modeling & Design (FARM 2015), Vancouver, BC, Canada, September 2015. ACM Press.
Abstract BibTeX


Henrik Nilsson, Alex McLean, and Mike Sperber, editors. Proceedings of the 2nd ACM SIGPLAN International Workshop on Functional Art, Music, Modeling & Design (FARM 2014), Gothenburg, Sweden, September 2014. ACM Press.
Abstract BibTeX


Henrik Nilsson, editor. Proceedings of the 5th International Workshop on Equation-Based Object-Oriented Modelling Languages and Tools (EOOLT 2014), number 84 in Linköping Electronic Conference Proceedings, Nottingham, UK, April 2013. Linköping University Electronic Press.
Abstract BibTeX


Peter Thiemann and Henrik Nilsson, editors. Journal of Functional Programming: Special Issue Dedicated to ICFP 2008, volume 20(5–6), November 2010.
Abstract BibTeX


Henrik Nilsson, editor. Trends in Functional Programming Volume 7. Intellect, 2007.
Abstract BibTeX


Henrik Nilsson, editor. Haskell '04: Proceedings of the 2004 ACM SIGPLAN workshop on Haskell, Snowbird, Utah, 2004. ACM.
Abstract BibTeX


Theses

Henrik Nilsson. Declarative Debugging for Lazy Functional Languages. PhD Thesis No. 430, Department of Computer and Information Science, Linköpings universitet, S-581 83, Linköping, Sweden, May 1998.
Abstract BibTeX Postscript (664 KiB)


Henrik Nilsson. A declarative approach to debugging for lazy functional languages. Licentiate Thesis No. 450, Department of Computer and Information Science, Linköpings universitet, S-581 83, Linköping, Sweden, September 1994.
Abstract BibTeX Postscript (414 KiB)


Other Publications

Jan Bracker and Henrik Nilsson. Supermonads and superapplicatives. 2018, 67 pages, being revised.
Abstract BibTeX Paper (PDF, 873 KiB)


Henrik Nilsson and Guerric Chupin. The Arpeggigon: Declarative programming of a full-fledged musical application. Technical report, University of Nottingham, November 2016.
Abstract BibTeX Technical report (PDF, Nottingham ePrints)

See also the conference version.


Henrik Nilsson and Ivan Perez. Declarative Game Programming (Distilled Tutorial). In Proceedings of the 16th International Symposium on Principles and Practice of Declarative Programming (PPDP 2014), Canterbury, Kent, UK, September 8–10, 2014. ACM Press.
Abstract BibTeX Extended Abstract (PDF, ACM DL)


Thomas A Nielsen, Henrik Nilsson, and Tom Matheson. A functional calculus of physiological evidence. Poster presented at the International Neuroinformatics Coordinating Facility (INCF) UK Node Congress, Edinburgh, February 1–3, 2010.
Abstract BibTeX Poster (PDF, 2.1 MiB)


Thomas A Nielsen, Henrik Nilsson, and Tom Matheson. New eyes on visual habituation in locust: an experiment description language for integrative neuroscience. Poster T14-7C presented at Göttingen Meeting of the German Neuroscience Society, March 2009.
Abstract BibTeX Abstract (PDF, 13 KiB)


George Giorgidze and Henrik Nilsson. Demo outline: Switched-on Yampa: Programming Modular Synthesizers in Haskell. In Haskell 2007: Proceedings of the ACM SIGPLAN workshop on Haskell workshop, 2007
Paper (PDF, ACM DL)


Paul Hudak, Antony Courtney, Henrik Nilsson, and John Peterson. Arrows, robots, and functional reactive programming. In Summer Shcool on Advanced Functional Programming 2002, Oxford University, volume 2638 of Lecture Notes in Computer Science, pages 159–187, 2003. Springer-Verlag.
Abstract BibTeX Paper (PDF, 230 KiB)


Xiangtian Dai, Gregory Hager, and Henrik Nilsson. FRP in C++ and its application. 2002. Unpublished.
Abstract BibTeX Paper (PDF, 139 KiB)


Henrik Nilsson and Jan Sparud. The evaluation dependence tree: an execution record for lazy functional debugging. Research Report LiTH-IDA-R-96-23, Department of Computer and Information Science, Linköpings universitet, S-581 83, Linköping, Sweden, August 1996.
Abstract BibTeX Postscript (253 KiB)


Last updated 29 August 2020