Henrik Nilsson

Orcid: 0000-0001-5045-8691

Affiliations:
  • University of Nottingham, UK


According to our database1, Henrik Nilsson authored at least 49 papers between 1993 and 2024.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
Dronar: Obstacle Echolocation Using Drone Ego-Noise.
Proceedings of the IEEE International Conference on Acoustics, 2024

2021
The effects of information relevancy on driving behavior.
Cogn. Technol. Work., 2021

2020
Runtime verification and validation of functional reactive systems.
J. Funct. Program., 2020

Modeling and simulation of large-scale systems: A systematic comparison of modeling paradigms.
Appl. Math. Comput., 2020

2019
Functional Reactive Programming, restated.
Proceedings of the 21st International Symposium on Principles and Practice of Programming Languages, 2019

2017
Testing and debugging functional reactive programming.
Proc. ACM Program. Lang., 2017

Funky Grooves: Declarative Programming of Full-Fledged Musical Applications.
Proceedings of the Practical Aspects of Declarative Languages, 2017

Abstract modelling: towards a typed declarative language for the conceptual modelling phase.
Proceedings of the 8th International Workshop on Equation-Based Object-Oriented Modeling Languages and Tools, 2017

2016
Functional reactive programming, refactored.
Proceedings of the 9th International Symposium on Haskell, 2016

Supermonads: one notion to bind them all.
Proceedings of the 9th International Symposium on Haskell, 2016

2015
Polymonad programming in Haskell.
Proceedings of the 27th Symposium on the Implementation and Application of Functional Programming Languages, 2015

Bridging the GUI gap with reactive values and relations.
Proceedings of the 8th ACM SIGPLAN Symposium on Haskell, 2015

2014
Declarative Game Programming: Distilled Tutorial.
Proceedings of the 16th International Symposium on Principles and Practice of Declarative Programming, 2014

Declarative modelling for Bayesian inference by shallow embedding.
Proceedings of the Equation-Based Object-Oriented Modeling Languages and Tools 2014, 2014

A principled approach to the implementation of argumentation models.
Proceedings of the Computational Models of Argument, 2014

2013
Towards a framework for the implementation and verification of translations between argumentation models.
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.
High. Order Symb. Comput., 2012

Towards a formal semantics for a structurally dynamic noncausal modelling language.
Proceedings of the 8th ACM SIGPLAN Workshop on Types in Languages Design and Implementation, 2012

Haskell Gets Argumentative.
Proceedings of the Trends in Functional Programming - 13th International Symposium, 2012

Node-Based Connection Semantics for Equation-Based Object-Oriented Modeling Languages.
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.
High. Order Symb. Comput., 2010

Special Issue Dedicated to ICFP 2008 Editorial.
J. Funct. Program., 2010

Mixed-Level Embedding and JIT Compilation for an Iteratively Staged DSL.
Proceedings of the Functional and Constraint Logic Programming, 2010

Static Balance Checking for First-Class Modular Systems of Equations.
Proceedings of the Trends in Functional Programming - 11th International Symposium, 2010

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

Braincurry: A Domain-specific Language for Integrative Neuroscience.
Proceedings of the Tenth Symposium on Trends in Functional Programming, 2009

Safe functional reactive programming through dependent types.
Proceedings of the Proceeding of the 14th ACM SIGPLAN international conference on Functional programming, 2009

2008
Optimisation of Dynamic, Hybrid Signal Function Networks.
Proceedings of the Nineth Symposium on Trends in Functional Programming, 2008

Switched-On Yampa.
Proceedings of the Practical Aspects of Declarative Languages, 2008

Embedding a Functional Hybrid Modelling Language in Haskell.
Proceedings of the Implementation and Application of Functional Languages, 2008

2007
Laser Doppler perfusion monitoring and imaging: novel approaches.
Medical Biol. Eng. Comput., 2007

Demo outline: switched-on yampa.
Proceedings of the ACM SIGPLAN Workshop on Haskell, 2007

Functional Hybrid Modeling from an Object-Oriented Perspective.
Proceedings of the 1st International Workshop on Equation-Based Object-Oriented Languages and Tools, 2007

2006
Type-theoretic design patterns.
Proceedings of the ACM SIGPLAN Workshop on Generic Programming, 2006

2005
Dynamic optimization for functional reactive programming using generalized algebraic data types.
Proceedings of the 10th ACM SIGPLAN International Conference on Functional Programming, 2005

2003
Functional Hybrid Modeling.
Proceedings of the Practical Aspects of Declarative Languages, 5th International Symposium, 2003

Functional automatic differentiation with dirac impulses.
Proceedings of the Eighth ACM SIGPLAN International Conference on Functional Programming, 2003

The Yampa arcade.
Proceedings of the ACM SIGPLAN Workshop on Haskell, 2003

2002
Functional reactive robotics: an exercise in principled integration of domain-specific languages.
Proceedings of the 4th international ACM SIGPLAN conference on Principles and practice of declarative programming, 2002

Functional reactive programming, continued.
Proceedings of the 2002 ACM SIGPLAN Workshop on Haskell, 2002

Arrows, Robots, and Functional Reactive Programming.
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.
J. Funct. Program., 2001

An integrated development environment for Java Card.
Comput. Networks, 2001

2000
Smart Tools for Java Cards.
Proceedings of the Smart Card Research and Advanced Applications, 2000

1999
Tracing Piece by Piece: Affordable Debugging for Lazy Functional Languages.
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.
Autom. Softw. Eng., 1997

1995
The Architecture of a Debugger for Lazy Functional Languages.
Proceedings of the Second International Workshop on Automated Debugging, 1995

1994
Algorithmic Debugging for Lazy Functional Languages.
J. Funct. Program., 1994

1993
Lazy Algorithmic Debugging: Ideas for Practical Implementation.
Proceedings of the Automated and Algorithmic Debugging, First International Workshop, 1993


  Loading...