Seguir
Henrik Nilsson
Henrik Nilsson
Associate Professor, School of Computer Science, University of Nottingham
Dirección de correo verificada de cs.nott.ac.uk
Título
Citado por
Citado por
Año
Arrows, robots, and functional reactive programming
P Hudak, A Courtney, H Nilsson, J Peterson
Advanced Functional Programming: 4th International School, AFP 2002, Oxford …, 2003
3332003
Functional reactive programming, continued
H Nilsson, A Courtney, J Peterson
Proceedings of the 2002 ACM SIGPLAN workshop on Haskell, 51-64, 2002
3102002
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
1161994
Declarative debugging for lazy functional languages
H Nilsson
Department of Computer and Information Science, Linköping University, 1998
1071998
The evaluation dependence tree as a basis for lazy functional debugging
H Nilsson, J Sparud
Automated software engineering 4, 121-150, 1997
881997
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
702003
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
Functional reactive programming, refactored
I Perez, M Bärenz, H Nilsson
9th ACM SIGPLAN Symposium on Haskell (Haskell'16), 33-44, 2016
652016
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
462009
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
Functional Hybrid Modeling from an Object-Oriented Perspective.
H Nilsson, J Peterson, P Hudak
EOOLT, 71-87, 2007
322007
Testing and Debugging Functional Reactive Programming
I Perez, H Nilsson
Proceedings ACM Programming Languages 1 (1), Article 2, 27 pages, 2017
312017
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
Type-Based Structural Analysis for Modular Systems of Equations.
H Nilsson
EOOLT, 71-81, 2008
262008
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20