Henrik Nilsson

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Conceptual modelling: towards detecting modelling errors in engineering applications Mathematical Methods in the Applied Sciences	2020-08-19	Paper
Structural types for systems of equations: type refinements for structurally dynamic first-class modular systems of equations Higher-Order and Symbolic Computation	2017-05-15	Paper
Functional automatic differentiation with Dirac impulses Proceedings of the eighth ACM SIGPLAN international conference on Functional programming	2015-07-02	Paper
Dynamic optimization for functional reactive programming using generalized algebraic data types Proceedings of the tenth ACM SIGPLAN international conference on Functional programming	2015-01-06	Paper
Safe functional reactive programming through dependent types Proceedings of the 14th ACM SIGPLAN international conference on Functional programming	2015-01-06	Paper
Keeping calm in the face of change. Towards optimisation of FRP by reasoning about change Higher-Order and Symbolic Computation	2012-01-13	Paper
How to look busy while being as lazy as ever: the Implementation of a lazy functional debugger Journal of Functional Programming	2001-01-01	Paper

Research outcomes over time

This page was built for person: Henrik Nilsson