Henrik Nilsson

Publication Activity (10 Years)

Years Active: 1992-2021
Publications (10 Years): 10

Top Topics

Game Programming

Declarative Language

Programming Environment

Bayesian Inference

Top Venues

Publications

Henrik Nilsson, Mattias Mullaart Söderholm, Niklas Strand, Alexander Eriksson
The effects of information relevancy on driving behavior. Cogn. Technol. Work. 23 (3) (2021)
Gerald Schweiger, Henrik Nilsson, Josef-Peter Schoeggl, Wolfgang Birk, Alfred Posch
Modeling and simulation of large-scale systems: A systematic comparison of modeling paradigms. Appl. Math. Comput. 365 (2020)
Ivan Perez, Henrik Nilsson
Runtime verification and validation of functional reactive systems. J. Funct. Program. 30 (2020)
Guerric Chupin, Henrik Nilsson
Functional Reactive Programming, restated. PPDP (2019)
Gerald Schweiger, Henrik Nilsson, Josef-Peter Schoeggl, Wolfgang Birk, Alfred Posch
Modeling and simulation of large-scale Systems: a systematic comparison of modeling paradigms. CoRR (2019)
Ivan Perez, Henrik Nilsson
Testing and debugging functional reactive programming. Proc. ACM Program. Lang. 1 (ICFP) (2017)
Dmitrii Legatiuk, Henrik Nilsson
Abstract modelling: towards a typed declarative language for the conceptual modelling phase. EOOLT (2017)
Henrik Nilsson, Guerric Chupin
Funky Grooves: Declarative Programming of Full-Fledged Musical Applications. PADL (2017)
Jan Bracker, Henrik Nilsson
Supermonads: one notion to bind them all. Haskell (2016)
Ivan Perez, Manuel Bärenz, Henrik Nilsson
Functional reactive programming, refactored. Haskell (2016)
Ivan Perez, Henrik Nilsson
Bridging the GUI gap with reactive values and relations. Haskell (2015)
Jan Bracker, Henrik Nilsson
Polymonad programming in Haskell. IFL (2015)
Bas van Gijzel, Henrik Nilsson
A principled approach to the implementation of argumentation models. COMMA (2014)
Henrik Nilsson, Thomas A. Nielsen
Declarative modelling for Bayesian inference by shallow embedding. EOOLT (2014)
Henrik Nilsson, Ivan Perez
Declarative Game Programming: Distilled Tutorial. PPDP (2014)
Bas van Gijzel, Henrik Nilsson
Towards a framework for the implementation and verification of translations between argumentation models. IFL (2013)
David Broman, Henrik Nilsson
Node-Based Connection Semantics for Equation-Based Object-Oriented Modeling Languages. PADL (2012)
John Capper, Henrik Nilsson
Structural types for systems of equations - Type refinements for structurally dynamic first-class modular systems of equations. High. Order Symb. Comput. 25 (2-4) (2012)
John Capper, Henrik Nilsson
Towards a formal semantics for a structurally dynamic noncausal modelling language. TLDI (2012)
Bas van Gijzel, Henrik Nilsson
Haskell Gets Argumentative. Trends in Functional Programming (2012)
Neil Sculthorpe, Henrik Nilsson
Keeping calm in the face of change - Towards optimisation of FRP by reasoning about change. High. Order Symb. Comput. 23 (2) (2010)
John Capper, Henrik Nilsson
Static Balance Checking for First-Class Modular Systems of Equations. Trends in Functional Programming (2010)
Peter Thiemann, Henrik Nilsson
Special Issue Dedicated to ICFP 2008 Editorial. J. Funct. Program. 20 (5-6) (2010)
George Giorgidze, Henrik Nilsson
Mixed-Level Embedding and JIT Compilation for an Iteratively Staged DSL. WFLP (2010)
Neil Sculthorpe, Henrik Nilsson
Safe functional reactive programming through dependent types. ICFP (2009)
Tom Nielsen, Tom Matheson, Henrik Nilsson
Braincurry: A Domain-specific Language for Integrative Neuroscience. Trends in Functional Programming (2009)
Henrik Nilsson
Type-Based Structural Analysis for Modular Systems of Equations. Simul. Notes Eur. 19 (1) (2009)
George Giorgidze, Henrik Nilsson
Embedding a Functional Hybrid Modelling Language in Haskell. IFL (2008)
Neil Sculthorpe, Henrik Nilsson
Optimisation of Dynamic, Hybrid Signal Function Networks. Trends in Functional Programming (2008)
Henrik Nilsson
Type-Based Structural Analysis for Modular Systems of Equations. EOOLT (2008)
George Giorgidze, Henrik Nilsson
Switched-On Yampa. PADL (2008)
George Giorgidze, Henrik Nilsson
Demo outline: switched-on yampa. Haskell (2007)
Anne Humeau, Wiendelt Steenbergen, Henrik Nilsson, Tomas Strömberg
Laser Doppler perfusion monitoring and imaging: novel approaches. Medical Biol. Eng. Comput. 45 (5) (2007)
Henrik Nilsson, John Peterson, Paul Hudak
Functional Hybrid Modeling from an Object-Oriented Perspective. EOOLT (2007)
Ondrej Rypacek, Roland Carl Backhouse, Henrik Nilsson
Type-theoretic design patterns. ICFP-WGP (2006)
Henrik Nilsson
Dynamic optimization for functional reactive programming using generalized algebraic data types. ICFP (2005)
Henrik Nilsson
Functional automatic differentiation with dirac impulses. ICFP (2003)
Henrik Nilsson, John Peterson, Paul Hudak
Functional Hybrid Modeling. PADL (2003)
Antony Courtney, Henrik Nilsson, John Peterson
The Yampa arcade. Haskell (2003)
Henrik Nilsson
Functional automatic differentiation with dirac impulses. SIGPLAN Notices (2003)
Paul Hudak, Antony Courtney, Henrik Nilsson, John Peterson
Arrows, Robots, and Functional Reactive Programming. Advanced Functional Programming (2002)
Izzet Pembeci, Henrik Nilsson, Gregory D. Hager
Functional reactive robotics: an exercise in principled integration of domain-specific languages. PPDP (2002)
Henrik Nilsson, Antony Courtney, John Peterson
Functional reactive programming, continued. Haskell (2002)
Isabelle Attali, Denis Caromel, Carine Courbis, Ludovic Henrio, Henrik Nilsson
An integrated development environment for Java Card. Comput. Networks 36 (4) (2001)
Henrik Nilsson
How to look busy while being as lazy as ever: the implementation of a lazy functional debugger. J. Funct. Program. 11 (6) (2001)
Isabelle Attali, Denis Caromel, Carine Courbis, Ludovic Henrio, Henrik Nilsson
Smart Tools for Java Cards. CARDIS (2000)
Henrik Nilsson
Tracing Piece by Piece: Affordable Debugging for Lazy Functional Languages. ICFP (1999)
Henrik Nilsson, Jan Sparud
The Evaluation Dependence Tree as a Basis for Lazy Functional Debugging. Autom. Softw. Eng. 4 (2) (1997)
Jan Sparud, Henrik Nilsson
The Architecture of a Debugger for Lazy Functional Languages. AADEBUG (1995)
Henrik Nilsson, Peter Fritzson
Algorithmic Debugging for Lazy Functional Languages. J. Funct. Program. 4 (3) (1994)
Henrik Nilsson, Peter Fritzson
Lazy Algorithmic Debugging: Ideas for Practical Implementation. AADEBUG (1993)
Henrik Nilsson, Peter Fritzson
Algorithmic Debugging for Lazy Functional Languages. PLILP (1992)