Henrik Nilsson

Available identifiers

Publication	Date of Publication	Type
Conceptual modelling: Towards detecting modelling errors in engineering applications	2020-08-19	Paper
Structural types for systems of equations: type refinements for structurally dynamic first-class modular systems of equations	2017-05-15	Paper
Functional automatic differentiation with dirac impulses	2015-07-02	Paper
Dynamic optimization for functional reactive programming using generalized algebraic data types	2015-01-06	Paper
Safe functional reactive programming through dependent types	2015-01-06	Paper
Keeping calm in the face of change. Towards optimisation of FRP by reasoning about change	2012-01-13	Paper
How to look busy while being as lazy as ever: the Implementation of a lazy functional debugger	2001-01-01	Paper

This page was built for person: Henrik Nilsson