Refereed Publications


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, Lecture Notes in Computer Science. Springer-Verlag, 2012. To appear.
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


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, 222 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, 178 KiB)


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 (ACM Portal)


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, 157 KiB)


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, 654 KiB)


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, 185 KiB)


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, 425 KiB)


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, 196 KiB)


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, 199 KiB)


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)


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


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)


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)


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 5 February 2013.