2008 |
18 | EE | George Giorgidze,
Henrik Nilsson:
Switched-On Yampa.
PADL 2008: 282-298 |
2007 |
17 | | Henrik Nilsson:
Revised Selected Papers from the Seventh Symposium on Trends in Functional Programming, TFP 2006, Nottingham, United Kingdom, 19-21 April 2006.
Intellect 2007 |
16 | EE | George Giorgidze,
Henrik Nilsson:
Demo outline: switched-on yampa.
Haskell 2007: 93 |
2006 |
15 | EE | Ondrej Rypacek,
Roland Carl Backhouse,
Henrik Nilsson:
Type-theoretic design patterns.
ICFP-WGP 2006: 13-22 |
2005 |
14 | EE | Henrik Nilsson:
Dynamic optimization for functional reactive programming using generalized algebraic data types.
ICFP 2005: 54-65 |
2003 |
13 | EE | Henrik Nilsson:
Functional automatic differentiation with dirac impulses.
ICFP 2003: 153-164 |
12 | EE | Henrik Nilsson,
John Peterson,
Paul Hudak:
Functional Hybrid Modeling.
PADL 2003: 376-390 |
2002 |
11 | EE | Paul Hudak,
Antony Courtney,
Henrik Nilsson,
John Peterson:
Arrows, Robots, and Functional Reactive Programming.
Advanced Functional Programming 2002: 159-187 |
10 | EE | Izzet Pembeci,
Henrik Nilsson,
Gregory D. Hager:
Functional reactive robotics: an exercise in principled integration of domain-specific languages.
PPDP 2002: 168-179 |
2001 |
9 | EE | Isabelle Attali,
Denis Caromel,
Carine Courbis,
Ludovic Henrio,
Henrik Nilsson:
An integrated development environment for Java Card.
Computer Networks 36(4): 391-405 (2001) |
8 | | Henrik Nilsson:
How to look busy while being as lazy as ever: the implementation of a lazy functional debugger.
J. Funct. Program. 11(6): 629-671 (2001) |
2000 |
7 | | Isabelle Attali,
Denis Caromel,
Carine Courbis,
Ludovic Henrio,
Henrik Nilsson:
Smart Tools for Java Cards.
CARDIS 2000: 155-176 |
1999 |
6 | EE | Henrik Nilsson:
Tracing Piece by Piece: Affordable Debugging for Lazy Functional Languages.
ICFP 1999: 36-47 |
1997 |
5 | | Henrik Nilsson,
Jan Sparud:
The Evaluation Dependence Tree as a Basis for Lazy Functional Debugging.
Autom. Softw. Eng. 4(2): 121-150 (1997) |
1995 |
4 | | Jan Sparud,
Henrik Nilsson:
The Architecture of a Debugger for Lazy Functional Languages.
AADEBUG 1995: 19-34 |
1994 |
3 | | Henrik Nilsson,
Peter Fritzson:
Algorithmic Debugging for Lazy Functional Languages.
J. Funct. Program. 4(3): 337-369 (1994) |
1993 |
2 | | Henrik Nilsson,
Peter Fritzson:
Lazy Algorithmic Debugging: Ideas for Practical Implementation.
AADEBUG 1993: 117-134 |
1992 |
1 | | Henrik Nilsson,
Peter Fritzson:
Algorithmic Debugging for Lazy Functional Languages.
PLILP 1992: 385-399 |