Nilsson, Henrik - School of Computer Science, University of Nottingham

Advanced Search

Nilsson, Henrik - School of Computer Science, University of Nottingham

Dynamic Optimization for Functional Reactive Programming using Generalized Algebraic Data Types
SMART TOOLS FOR JAVA CARDS Isabelle Attali
An Integrated Development Environment for Java Card 1
Introduction Algorithmic Debugging for Lazy Functional Languages Algorithmic Debugging for
Arrows, Robots, and Functional Reactive Programming
System Presentation Functional Reactive Robotics: An Exercise in Principled Integration of Domain-Specific
Tracing piece by piece: affordable debugging for lazy functional languages Henrik Nilsson
Switched-On Yampa Declarative Programming of Modular Synthesizers
Static Balance Checking for First-Class Modular Systems of Equations
Mixed-Level Embedding and JIT Compilation for an Iteratively Staged DSL
Higher-Order and Symbolic Computation manuscript No. (will be inserted by the editor)
EXPLOITING STRUCTURAL DYNAMISM IN FUNCTIONAL HYBRID MODELLING FOR
Braincurry: A Domain-Specific Language for
Safe Functional Reactive Programming through Dependent Types
Embedding a Functional Hybrid Modelling Language in Haskell
Optimisation of Dynamic, Hybrid Signal Function
The Evaluation Dependence Tree as a Basis for Lazy Functional Debugging *
Mixed-level Embedding and JIT Compilation for an Iteratively Staged DSL
Functional Automatic Differentiation with Dirac Impulses Henrik Nilsson
Functional Hybrid Modeling Henrik Nilsson, John Peterson, and Paul Hudak
A functional calculus of physiological evidence Thomas A Nielsen1,2
Under consideration for publication in J. Functional Programming 1 How to Look Busy while Being as Lazy as Ever
Gttingen Meeting of the German Neuroscience Society 2009 New eyes on visual habituation in locust: an experiment description