The following pages link to Henrik Nilsson (Q526450):
Displayed 7 items.
- Structural types for systems of equations: type refinements for structurally dynamic first-class modular systems of equations (Q526451) (← links)
- Keeping calm in the face of change. Towards optimisation of FRP by reasoning about change (Q656853) (← links)
- Dynamic optimization for functional reactive programming using generalized algebraic data types (Q2936767) (← links)
- Safe functional reactive programming through dependent types (Q2936799) (← links)
- How to look busy while being as lazy as ever: the Implementation of a lazy functional debugger (Q3150209) (← links)
- Conceptual modelling: Towards detecting modelling errors in engineering applications (Q5116839) (← links)
- Functional automatic differentiation with dirac impulses (Q5261273) (← links)