Henrik Nilsson

According to our database, Henrik Nilsson authored at least 48 papers between 1993 and 2021.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2021

The effects of information relevancy on driving behavior.

Henrik Nilsson, Mattias Mullaart Söderholm, Niklas Strand, Alexander Eriksson

Cogn. Technol. Work., 2021

2020

Runtime verification and validation of functional reactive systems.

Ivan Perez, Henrik Nilsson

J. Funct. Program., 2020

Modeling and simulation of large-scale systems: A systematic comparison of modeling paradigms.

Gerald Schweiger, Henrik Nilsson, Josef-Peter Schoeggl, Wolfgang Birk, Alfred Posch

Appl. Math. Comput., 2020

2019

Functional Reactive Programming, restated.

Guerric Chupin, Henrik Nilsson

Proceedings of the 21st International Symposium on Principles and Practice of Programming Languages, 2019

2017

Testing and debugging functional reactive programming.

Ivan Perez, Henrik Nilsson

Proc. ACM Program. Lang., 2017

Funky Grooves: Declarative Programming of Full-Fledged Musical Applications.

Henrik Nilsson, Guerric Chupin

Proceedings of the Practical Aspects of Declarative Languages, 2017

Abstract modelling: towards a typed declarative language for the conceptual modelling phase.

Dmitrii Legatiuk, Henrik Nilsson

Proceedings of the 8th International Workshop on Equation-Based Object-Oriented Modeling Languages and Tools, 2017

2016

Functional reactive programming, refactored.

Ivan Perez, Manuel Bärenz, Henrik Nilsson

Proceedings of the 9th International Symposium on Haskell, 2016

Supermonads: one notion to bind them all.

Jan Bracker, Henrik Nilsson

Proceedings of the 9th International Symposium on Haskell, 2016

2015

Polymonad programming in Haskell.

Jan Bracker, Henrik Nilsson

Proceedings of the 27th Symposium on the Implementation and Application of Functional Programming Languages, 2015

Bridging the GUI gap with reactive values and relations.

Ivan Perez, Henrik Nilsson

Proceedings of the 8th ACM SIGPLAN Symposium on Haskell, 2015

2014

Declarative Game Programming: Distilled Tutorial.

Henrik Nilsson, Ivan Perez

Proceedings of the 16th International Symposium on Principles and Practice of Declarative Programming, 2014

Declarative modelling for Bayesian inference by shallow embedding.

Henrik Nilsson, Thomas A. Nielsen

Proceedings of the Equation-Based Object-Oriented Modeling Languages and Tools 2014, 2014

A principled approach to the implementation of argumentation models.

Bas van Gijzel, Henrik Nilsson

Proceedings of the Computational Models of Argument, 2014

2013

Towards a framework for the implementation and verification of translations between argumentation models.

Bas van Gijzel, Henrik Nilsson

Proceedings of the 25th Symposium on Implementation and Application of Functional Languages, 2013

2012

Structural types for systems of equations - Type refinements for structurally dynamic first-class modular systems of equations.

John Capper, Henrik Nilsson

High. Order Symb. Comput., 2012

Towards a formal semantics for a structurally dynamic noncausal modelling language.

John Capper, Henrik Nilsson

Proceedings of the 8th ACM SIGPLAN Workshop on Types in Languages Design and Implementation, 2012

Haskell Gets Argumentative.

Bas van Gijzel, Henrik Nilsson

Proceedings of the Trends in Functional Programming - 13th International Symposium, 2012

Node-Based Connection Semantics for Equation-Based Object-Oriented Modeling Languages.

David Broman, Henrik Nilsson

Proceedings of the Practical Aspects of Declarative Languages, 2012

2010

Keeping calm in the face of change - Towards optimisation of FRP by reasoning about change.

Neil Sculthorpe, Henrik Nilsson

High. Order Symb. Comput., 2010

Special Issue Dedicated to ICFP 2008 Editorial.

Peter Thiemann, Henrik Nilsson

J. Funct. Program., 2010

Mixed-Level Embedding and JIT Compilation for an Iteratively Staged DSL.

George Giorgidze, Henrik Nilsson

Proceedings of the Functional and Constraint Logic Programming, 2010

Static Balance Checking for First-Class Modular Systems of Equations.

John Capper, Henrik Nilsson

Proceedings of the Trends in Functional Programming - 11th International Symposium, 2010

2009

Type-Based Structural Analysis for Modular Systems of Equations.

Henrik Nilsson

Simul. Notes Eur., 2009

Braincurry: A Domain-specific Language for Integrative Neuroscience.

Tom Nielsen, Tom Matheson, Henrik Nilsson

Proceedings of the Tenth Symposium on Trends in Functional Programming, 2009

Safe functional reactive programming through dependent types.

Neil Sculthorpe, Henrik Nilsson

Proceedings of the Proceeding of the 14th ACM SIGPLAN international conference on Functional programming, 2009

2008

Optimisation of Dynamic, Hybrid Signal Function Networks.

Neil Sculthorpe, Henrik Nilsson

Proceedings of the Nineth Symposium on Trends in Functional Programming, 2008

Switched-On Yampa.

George Giorgidze, Henrik Nilsson

Proceedings of the Practical Aspects of Declarative Languages, 2008

Embedding a Functional Hybrid Modelling Language in Haskell.

George Giorgidze, Henrik Nilsson

Proceedings of the Implementation and Application of Functional Languages, 2008

2007

Laser Doppler perfusion monitoring and imaging: novel approaches.

Anne Humeau, Wiendelt Steenbergen, Henrik Nilsson, Tomas Strömberg

Medical Biol. Eng. Comput., 2007

Demo outline: switched-on yampa.

George Giorgidze, Henrik Nilsson

Proceedings of the ACM SIGPLAN Workshop on Haskell, 2007

Functional Hybrid Modeling from an Object-Oriented Perspective.

Henrik Nilsson, John Peterson, Paul Hudak

Proceedings of the 1st International Workshop on Equation-Based Object-Oriented Languages and Tools, 2007

2006

Type-theoretic design patterns.

Ondrej Rypacek, Roland Carl Backhouse, Henrik Nilsson

Proceedings of the ACM SIGPLAN Workshop on Generic Programming, 2006

2005

Dynamic optimization for functional reactive programming using generalized algebraic data types.

Henrik Nilsson

Proceedings of the 10th ACM SIGPLAN International Conference on Functional Programming, 2005

2003

Functional Hybrid Modeling.

Henrik Nilsson, John Peterson, Paul Hudak

Proceedings of the Practical Aspects of Declarative Languages, 5th International Symposium, 2003

Functional automatic differentiation with dirac impulses.

Henrik Nilsson

Proceedings of the Eighth ACM SIGPLAN International Conference on Functional Programming, 2003

The Yampa arcade.

Antony Courtney, Henrik Nilsson, John Peterson

Proceedings of the ACM SIGPLAN Workshop on Haskell, 2003

2002

Functional reactive robotics: an exercise in principled integration of domain-specific languages.

Izzet Pembeci, Henrik Nilsson, Gregory D. Hager

Proceedings of the 4th international ACM SIGPLAN conference on Principles and practice of declarative programming, 2002

Functional reactive programming, continued.

Henrik Nilsson, Antony Courtney, John Peterson

Proceedings of the 2002 ACM SIGPLAN Workshop on Haskell, 2002

Arrows, Robots, and Functional Reactive Programming.

Paul Hudak, Antony Courtney, Henrik Nilsson, John Peterson

Proceedings of the Advanced Functional Programming, 2002

2001

How to look busy while being as lazy as ever: the implementation of a lazy functional debugger.

Henrik Nilsson

J. Funct. Program., 2001

An integrated development environment for Java Card.

Isabelle Attali, Denis Caromel, Carine Courbis, Ludovic Henrio, Henrik Nilsson

Comput. Networks, 2001

2000

Smart Tools for Java Cards.

Isabelle Attali, Denis Caromel, Carine Courbis, Ludovic Henrio, Henrik Nilsson

Proceedings of the Smart Card Research and Advanced Applications, 2000

1999

Tracing Piece by Piece: Affordable Debugging for Lazy Functional Languages.

Henrik Nilsson

Proceedings of the fourth ACM SIGPLAN International Conference on Functional Programming (ICFP '99), 1999

1997

The Evaluation Dependence Tree as a Basis for Lazy Functional Debugging.

Henrik Nilsson, Jan Sparud

Autom. Softw. Eng., 1997

1995

The Architecture of a Debugger for Lazy Functional Languages.

Jan Sparud, Henrik Nilsson

Proceedings of the Second International Workshop on Automated Debugging, 1995

1994

Algorithmic Debugging for Lazy Functional Languages.

Henrik Nilsson, Peter Fritzson

J. Funct. Program., 1994

1993

Lazy Algorithmic Debugging: Ideas for Practical Implementation.

Henrik Nilsson, Peter Fritzson

Proceedings of the Automated and Algorithmic Debugging, First International Workshop, 1993