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
3332003
Functional reactive programming, continued
H Nilsson, A Courtney, J Peterson
Proceedings of the 2002 ACM SIGPLAN workshop on Haskell, 51-64, 2002
3132002
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
Il sistema al momento non pu˛ eseguire l'operazione. Riprova pi¨ tardi.
Articoli 1–20