Segui
Henrik Nilsson
Henrik Nilsson
Associate Professor, School of Computer Science, University of Nottingham
Email verificata su cs.nott.ac.uk
Titolo
Citata da
Citata da
Anno
Arrows, robots, and functional reactive programming
P Hudak, A Courtney, H Nilsson, J Peterson
Advanced Functional Programming: 4th International School, AFP 2002, Oxford …, 2003
3112003
Functional reactive programming, continued
H Nilsson, A Courtney, J Peterson
Proceedings of the 2002 ACM SIGPLAN workshop on Haskell, 51-64, 2002
2922002
The yampa arcade
A Courtney, H Nilsson, J Peterson
Proceedings of the 2003 ACM SIGPLAN workshop on Haskell, 7-18, 2003
1632003
Algorithmic debugging for lazy functional languages1
H Nilsson, P Fritzson
Journal of functional programming 4 (3), 337-369, 1994
1161994
Declarative debugging for lazy functional languages
H Nilsson
Department of Computer and Information Science, Linköping University, 1998
1081998
The evaluation dependence tree as a basis for lazy functional debugging
H Nilsson, J Sparud
Automated software engineering 4, 121-150, 1997
841997
How to look busy while being as lazy as ever: the implementation of a lazy functional debugger
H Nilsson
Journal of Functional Programming 11 (6), 629-671, 2001
802001
Functional hybrid modeling
H Nilsson, J Peterson, P Hudak
Practical Aspects of Declarative Languages: 5th International Symposium …, 2003
662003
Functional reactive robotics: An exercise in principled integration of domain-specific languages
I Pembeci, H Nilsson, G Hager
Proceedings of the 4th ACM SIGPLAN international conference on Principles …, 2002
602002
Dynamic optimization for functional reactive programming using generalized algebraic data types
H Nilsson
ACM SIGPLAN Notices 40 (9), 54-65, 2005
532005
Functional reactive programming, refactored
I Perez, M Bärenz, H Nilsson
9th ACM SIGPLAN Symposium on Haskell (Haskell'16), 33-44, 2016
502016
Algorithmic debugging for lazy functional languages
H Nilsson, P Fritzson
Programming Language Implementation and Logic Programming: 4th International …, 1992
491992
Safe functional reactive programming through dependent types
N Sculthorpe, H Nilsson
ACM Sigplan Notices 44 (9), 23-34, 2009
442009
Switched-on Yampa: Declarative programming of modular synthesizers
G Giorgidze, H Nilsson
Practical Aspects of Declarative Languages: 10th International Symposium …, 2008
392008
Embedding a functional hybrid modelling language in Haskell
G Giorgidze, H Nilsson
Implementation and Application of Functional Languages: 20th International …, 2011
342011
Higher-order non-causal modelling and simulation of structurally dynamic systems
G Giorgidze, H Nilsson
Proceedings of the 7th International Modelica Conference; Como; Italy; 20-22 …, 2009
342009
Functional hybrid modeling from an object-oriented perspective
H Nilsson, J Peterson, P Hudak
Proceedings of the 1st International Workshop on Equation-Based Object …, 2007
322007
Type-Based Structural Analysis for Modular Systems of Equations.
H Nilsson
EOOLT, 71-81, 2008
262008
Functional automatic differentiation with dirac impulses
H Nilsson
ACM SIGPLAN Notices 38 (9), 153-164, 2003
262003
The Architecture of a Debugger for Lazy Functional Languages.
J Sparud, H Nilsson
AADEBUG 95, 22-24, 1995
261995
Il sistema al momento non può eseguire l'operazione. Riprova più tardi.
Articoli 1–20