Henrik Nilsson
Dr. Henrik Nilsson is a Lecturer at the School of Computer Science, University of Nottingham. He holds a PhD in Computer Science from Linköping University, Sweden. His topic was debugging techniques and tools for lazy functional languages. Prior to taking up his current post, Dr. Nilsson held a position as Associate Research Scientist at the Department of Computer Science, Yale University, working mainly on Functional Reactive Programming with Prof. Paul Hudak. Dr. Nilsson's current research interests include functional programming, reactive programming, domain-specific languages for modelling and simulation, and unified notions of effectful computation.
Talks I've Given
-
Principled Testing of Functional Reactive Systems
Featuring Henrik Nilsson
In pure functional programming, testing is greatly facilitated thanks to referential transparency guaranteeing exact reproducibility. Principled techniques such as property based testing have proved to be particularly effective. However, once you get to whole programs or entire systems, nothing...
full-reproducibility cross-platform-testing-frameworks property-based-testing frp functional-reactive-programming haskell -
Supermonads: One Notion to Bind Them All
Featuring Henrik Nilsson
Several popular generalizations of monads have been implemented in Haskell. Unfortunately, because the shape of the associated type constructors do not match the standard Haskell monad interface, each such implementation provides its own type class and versions of associated library functions....
haskell monads ghc type-constructors supermonads -
The Arpeggigon: A Functional Reactive Musical Automaton
Featuring Henrik Nilsson
The Arpeggigon is an interactive cellular automaton for composing groove-based music. It is a hexagonal grid laid out as a Harmonic Table where moving one step in each of the six possible directions corresponds to a musically meaningful interval. The automaton is configured by placing different...
functional-reactive-programming reactive-value synchronous-dataflow hybrid-systems music -
Arpeggion
Featuring Henrik Nilsson
This is a little musical application of Haskell.
haskell haskellx music -
Implementing and Optimising Functional Reactive Programming - Henrik Nilsson
Featuring Henrik Nilsson
This talk discusses how arrows-based Functional Reactive Programming (FRP) languages can be implemented purely functionally and how their performance can be improved, using the embedded FRP implementation Yampa as an example.The talk also considers the related notion of Commutative Causal Arrows...
functional-programming programming-languages reactive reactive-programming