Följ
Henrik Nilsson
Henrik Nilsson
Associate Professor, School of Computer Science, University of Nottingham
Verifierad e-postadress på cs.nott.ac.uk
Titel
Citeras av
Citeras av
År
Arrows, robots, and functional reactive programming
P Hudak, A Courtney, H Nilsson, J Peterson
Advanced Functional Programming: 4th International School, AFP 2002, Oxford …, 2003
3382003
Functional reactive programming, continued
H Nilsson, A Courtney, J Peterson
Proceedings of the 2002 ACM SIGPLAN workshop on Haskell, 51-64, 2002
3202002
The yampa arcade
A Courtney, H Nilsson, J Peterson
Proceedings of the 2003 ACM SIGPLAN workshop on Haskell, 7-18, 2003
1772003
Algorithmic debugging for lazy functional languages1
H Nilsson, P Fritzson
Journal of functional programming 4 (3), 337-369, 1994
1171994
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
891997
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
822001
Functional hybrid modeling
H Nilsson, J Peterson, P Hudak
Practical Aspects of Declarative Languages: 5th International Symposium …, 2003
722003
Functional reactive programming, refactored
I Perez, M Bärenz, H Nilsson
9th ACM SIGPLAN Symposium on Haskell (Haskell'16), 33-44, 2016
682016
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
662002
Dynamic optimization for functional reactive programming using generalized algebraic data types
H Nilsson
ACM SIGPLAN Notices 40 (9), 54-65, 2005
532005
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
472009
Switched-on Yampa: Declarative programming of modular synthesizers
G Giorgidze, H Nilsson
Practical Aspects of Declarative Languages: 10th International Symposium …, 2008
402008
Embedding a functional hybrid modelling language in Haskell
G Giorgidze, H Nilsson
Symposium on Implementation and Application of Functional Languages, 138-155, 2008
372008
Higher-order non-causal modelling and simulation of structurally dynamic systems
G Giorgidze, H Nilsson
352009
Testing and Debugging Functional Reactive Programming
I Perez, H Nilsson
Proceedings ACM Programming Languages 1 (1), Article 2, 27 pages, 2017
332017
Functional Hybrid Modeling from an Object-Oriented Perspective.
H Nilsson, J Peterson, P Hudak
EOOLT, 71-87, 2007
322007
Type-Based Structural Analysis for Modular Systems of Equations.
H Nilsson
EOOLT, 71-81, 2008
272008
Mixed-level embedding and JIT compilation for an iteratively staged DSL
G Giorgidze, H Nilsson
International Workshop on Functional and Constraint Logic Programming, 48-65, 2010
262010
Systemet kan inte utföra åtgärden just nu. Försök igen senare.
Artiklar 1–20