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)
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
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)
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)