• Login
• Admin

Article

Perez, Ivan and Nilsson, Henrik (2017) Testing and debugging functional reactive programming. Proceedings of the ACM on Programming Languages, 1 (1). 2/1-2/27. ISSN 2475-1421

Nilsson, Henrik and Chupin, Guerric (2016) Funky grooves: declarative programming of full-fledged musical applications. Lecture Notes in Computer Science, 10137 . pp. 163-172. ISSN 0302-9743

Ward, Wil O.C., Wilkinson, Paul B., Chambers, Jon E., Nilsson, Henrik, Kuras, Oliver and Bai, Li (2016) Tracking tracer motion in a 4-D electrical resistivity tomography experiment. Water Resources Research, 52 (5). pp. 4078-4094. ISSN 1944-7973

van Gijzel, Bas and Nilsson, Henrik (2014) A principled approach to the implementation of argumentation models. Frontiers in Artificial Intelligence and Applications, 266 . pp. 293-300. ISSN 0922-6389

Conference or Workshop Item

Legatiuk, Dmitrii and Nilsson, Henrik (2017) Abstract modelling: towards a typed declarative language for the conceptual modelling phase. In: 8th International Workshop on Equation-Based Object-Oriented Modeling Languages and Tools (EOOLT 2017), 1 December 2017, Weßling, Germany.

Bracker, Jan and Nilsson, Henrik (2016) Supermonads: one notion to bind them all. In: Proceedings of the 9th International Symposium on Haskell (Haskell '16), 22-23 September 2016, Nara, Japan.

Perez, Ivan, Bärenz, Manuel and Nilsson, Henrik (2016) Functional reactive programming, refactored. In: Proceedings of the 9th International Symposium on Haskell (Haskell '16), 22-23 September 2016, Nara, Japan.

Bracker, Jan and Nilsson, Henrik (2016) Polymonad programming in Haskell. In: 27th 2015 International Symposium on Implementation and Application of Functional Languages - IFL 2015, 14-16 Sep 2015, Koblenz, Germany.

Perez, Ivan and Nilsson, Henrik (2015) Bridging the GUI gap with reactive values and relations. In: 2015 ACM SIGPLAN Symposium on Haskell (Haskell '15), 3-4 Sept 2015, Vancouver, Canada.

Nilsson, Henrik and Nielsen, Thomas A. (2014) Declarative modelling for Bayesian inference by shallow embedding. In: 6th International Workshop on Equation-Based Object-Oriented Modeling Languages and Tools (EOOLT 2014), 10 Oct 2014, Berlin, Germany.

Monograph

Nilsson, Henrik and Chupin, Guerric (2016) The arpeggigon: declarative programming of a full-fledged musical application. Technical Report. University of Nottingham, Nottingham, UK. (Unpublished)