Lazy Algorithmic Debugging: Ideas for Practical Implementation. - Henrik Nilsson; Peter Fritzson (AADEBUG, 1993)

Algorithmic Debugging for Lazy Functional Languages. - Henrik Nilsson; Peter Fritzson (J. Funct. Program., 1994)

The Architecture of a Debugger for Lazy Functional Languages. - Jan Sparud; Henrik Nilsson (AADEBUG, 1995)

The Evaluation Dependence Tree as a Basis for Lazy Functional Debugging. - Henrik Nilsson; Jan Sparud (Autom. Softw. Eng., 1997)

Tracing Piece by Piece: Affordable Debugging for Lazy Functional Languages. - Henrik Nilsson (ICFP, 1999)

Smart Tools for Java Cards. - Isabelle Attali; Denis Caromel; Carine Courbis; Ludovic Henrio; Henrik Nilsson (CARDIS, 2000)

An integrated development environment for Java Card. - Isabelle Attali; Denis Caromel; Carine Courbis; Ludovic Henrio; Henrik Nilsson (Comput. Networks, 2001)

How to look busy while being as lazy as ever: the implementation of a lazy functional debugger. - Henrik Nilsson (J. Funct. Program., 2001)

Arrows, Robots, and Functional Reactive Programming. - Paul Hudak; Antony Courtney; Henrik Nilsson; John Peterson (Advanced Functional Programming, 2002)

Functional reactive programming, continued. - Henrik Nilsson; Antony Courtney; John Peterson (Haskell, 2002)

Functional reactive robotics: an exercise in principled integration of domain-specific languages. - Izzet Pembeci; Henrik Nilsson; Gregory D. Hager (PPDP, 2002)

The Yampa arcade. - Antony Courtney; Henrik Nilsson; John Peterson (Haskell, 2003)

Functional automatic differentiation with dirac impulses. - Henrik Nilsson (ICFP, 2003)

Functional Hybrid Modeling. - Henrik Nilsson; John Peterson; Paul Hudak (PADL, 2003)

Dynamic optimization for functional reactive programming using generalized algebraic data types. - Henrik Nilsson (ICFP, 2005)

Type-theoretic design patterns. - Ondrej Rypacek; Roland Carl Backhouse; Henrik Nilsson (ICFP-WGP, 2006)

Functional Hybrid Modeling from an Object-Oriented Perspective. - Henrik Nilsson; John Peterson; Paul Hudak (EOOLT, 2007)

Demo outline: switched-on yampa. - George Giorgidze; Henrik Nilsson (Haskell, 2007)

Laser Doppler perfusion monitoring and imaging: novel approaches. - Anne Humeau; Wiendelt Steenbergen; Henrik Nilsson; Tomas Strömberg (Medical Biol. Eng. Comput., 2007)

Embedding a Functional Hybrid Modelling Language in Haskell. - George Giorgidze; Henrik Nilsson (IFL, 2008)

Switched-On Yampa. - George Giorgidze; Henrik Nilsson (PADL, 2008)

Optimisation of Dynamic, Hybrid Signal Function Networks. - Neil Sculthorpe; Henrik Nilsson (Trends in Functional Programming, 2008)

Safe functional reactive programming through dependent types. - Neil Sculthorpe; Henrik Nilsson (ICFP, 2009)

Braincurry: A Domain-specific Language for Integrative Neuroscience. - Tom Nielsen; Tom Matheson; Henrik Nilsson (Trends in Functional Programming, 2009)

Type-Based Structural Analysis for Modular Systems of Equations. - Henrik Nilsson (Simul. Notes Eur., 2009)

Static Balance Checking for First-Class Modular Systems of Equations. - John Capper; Henrik Nilsson (Trends in Functional Programming, 2010)

Mixed-Level Embedding and JIT Compilation for an Iteratively Staged DSL. - George Giorgidze; Henrik Nilsson (WFLP, 2010)

Special Issue Dedicated to ICFP 2008 Editorial. - Peter Thiemann 001; Henrik Nilsson (J. Funct. Program., 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)

Node-Based Connection Semantics for Equation-Based Object-Oriented Modeling Languages. - David Broman; Henrik Nilsson (PADL, 2012)

Haskell Gets Argumentative. - Bas van Gijzel; Henrik Nilsson (Trends in Functional Programming, 2012)

Towards a formal semantics for a structurally dynamic noncausal modelling language. - John Capper; Henrik Nilsson (TLDI, 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 framework for the implementation and verification of translations between argumentation models. - Bas van Gijzel; Henrik Nilsson (IFL, 2013)

A principled approach to the implementation of argumentation models. - Bas van Gijzel; Henrik Nilsson (COMMA, 2014)

Declarative modelling for Bayesian inference by shallow embedding. - Henrik Nilsson; Thomas A. Nielsen (EOOLT, 2014)

Declarative Game Programming: Distilled Tutorial. - Henrik Nilsson; Ivan Perez 001 (PPDP, 2014)

Bridging the GUI gap with reactive values and relations. - Ivan Perez 001; Henrik Nilsson (Haskell, 2015)

Polymonad programming in Haskell. - Jan Bracker; Henrik Nilsson (IFL, 2015)

Supermonads: one notion to bind them all. - Jan Bracker; Henrik Nilsson (Haskell, 2016)

Functional reactive programming, refactored. - Ivan Perez 001; Manuel Bärenz; Henrik Nilsson (Haskell, 2016)

Abstract modelling: towards a typed declarative language for the conceptual modelling phase. - Dmitrii Legatiuk; Henrik Nilsson (EOOLT, 2017)

Funky Grooves: Declarative Programming of Full-Fledged Musical Applications. - Henrik Nilsson; Guerric Chupin (PADL, 2017)

Testing and debugging functional reactive programming. - Ivan Perez 001; Henrik Nilsson (Proc. ACM Program. Lang., 2017)

Functional Reactive Programming, restated. - Guerric Chupin; Henrik Nilsson (PPDP, 2019)

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)

Runtime verification and validation of functional reactive systems. - Ivan Perez 001; Henrik Nilsson (J. Funct. Program., 2020)

The effects of information relevancy on driving behavior. - Henrik Nilsson; Mattias Mullaart Söderholm; Niklas Strand; Alexander Eriksson (Cogn. Technol. Work., 2021)

Dronar: Obstacle Echolocation Using Drone Ego-Noise. - Henrik Nilsson; Joakim Rydell; Anton Kullberg; Gustaf Hendeby (ICASSP Workshops, 2024)