Antony Courtney and Henrik Nilsson and John Peterson. The Yampa Arcade.
In Proceedings of the 2003 ACM SIGPLAN Haskell Workshop (Haskell'03),
pages 7 - 18, Uppsala, Sweden, August 2003. ACM Press.
Abstract
BibTeX
PDF (654 Kbyte)
Henrik Nilsson. Functional Automatic Differentiation with Dirac Impulses.
In Proceedings of the Eight ACM SIGPLAN International Conference on
Functional Programming, pages 159 - 187, Uppsala, Sweden, August 2003.
ACM Press.
Abstract
BibTeX
PDF (185 Kbyte)
Paul Hudak, Antony Courtney, Henrik Nilsson, and John Peterson.
Arrows, robots, and functional reactive programming.
In Summer Shcool on Advanced Functional Programming 2002, Oxford
University, volume 2638 of Lecture Notes in Computer Science,
pages 159 - 187, 2003. Springer-Verlag.
Abstract
BibTeX
PDF (230 Kbyte)
Henrik Nilsson, John Peterson, and Paul Hudak.
Functional hybrid modeling.
In Proceedings of PADL'03: 5th International Workshop on Practical
Aspects of Declarative Languages, volume 2562 of Lecture
Notes in Computer Science, pages 376 - 390, New Orleans, Lousiana, USA,
January 2003. Springer-Verlag.
Abstract
BibTeX
PDF (156 Kbyte)
Izzet Pembeci, Henrik Nilsson, and Gregory Hager.
System presentation - Functional reactive robotics: an excercise in principled
integration of domain-specific languages.
In Principles and Practice of Declarative Programming (PPDP'02),
pages 168 - 179, Pittsburgh, Pennsylvania, USA, October 2002.
Abstract
BibTeX
PDF (425 Kbyte)
Henrik Nilsson, Antony Courtney, and John Peterson.
Functional reactive programming, continued.
In Proceedings of the 2002 ACM SIGPLAN Haskell Workshop (Haskell'02),
pages 51 - 64, Pittsburgh, Pennsylvania, USA, October 2002. ACM Press.
Abstract
BibTeX
PDF (196 Kbyte)
Henrik Nilsson.
How to look busy while being as lazy as ever: the implementation of a lazy
functional debugger.
Journal of Functional Programming, 11(6):629 - 671, November
2001
Abstract
BibTeX
PDF (334 Kbyte)
Isabelle Attali, Denis Caromel, Carine Courbis, Ludovic Henrio, and
Henrik Nilsson.
An integrated development environment for Java Card.
Computer Networks, 36(4):391 - 405, July 2001.
Abstract
BibTeX
PDF (784 Kbyte)
Isabelle Attali, Denis Caromel, Carine Courbis, Ludovic Henrio, and
Henrik Nilsson.
Smart tools for Java cards.
Proceedings of the IFIP Fourth Working Conferenc on Smart Card Research
and Advanced Applications, Bristol, UK, September 2000.
Abstract
BibTeX
PDF (756 Kbyte)
Isabelle Attali, Denis Caromel, Henrik Nilsson, and Marjorie Russo.
From executable formal specification to Java property verification.
Second ECOOP Workshop on Formal Techniques for Java Programs,
pages 1 - 7, Sophia Antipolis, France, June 2000.
Abstract
BibTeX
Henrik Nilsson.
Tracing piece by piece: affordable debugging for lazy functional languages.
Proceedings of the 1999 ACM SIGPLAN International Conference on Functional
Programming, pages 36 - 47, Paris, France, September 1999.
Abstract
BibTeX
PDF (199 Kbyte)
Henrik Nilsson.
Declarative Debugging for Lazy Functional Languages.
PhD Thesis No. 430, Department of
Computer and Information Science, Linköpings universitet, S-581 83,
Linköping, Sweden, May 1998.
Abstract
BibTeX
Postscript (664 Kbyte)
Henrik Nilsson and Jan Sparud.
The evaluation dependence tree as a basis for lazy functional debugging.
Automated Software Engineering, 4(2):121 - 150, April 1997.
Abstract
BibTeX
PDF (224 Kbyte)
Henrik Nilsson and Jan Sparud.
The evaluation dependence tree: an execution record for lazy functional
debugging.
Research Report LiTH-IDA-R-96-23, Department of Computer and Information
Science, Linköpings universitet, S-581 83, Linköping, Sweden,
August 1996.
Abstract
BibTeX
Postscript (253 Kbyte)
Jan Sparud and Henrik Nilsson. The architecture of a debugger for lazy
functional languages. In Mireille Ducassé, editor, Proceedings of
AADEBUG '95, 2nd Internatinal Workshop on Automated and Algorithmic
Debugging, Saint-Malo, France, May 1995, IRISA, Campus Universitaire
de Beaulieu, 35042 Rennes, Cedex, France.
Abstract
BibTeX
Postscript (133 Kbyte)
Henrik Nilsson. A declarative approach to debugging for lazy
functional languages. Licentiate Thesis No. 450, Department of
Computer and Information Science, Linköpings universitet, S-581 83,
Linköping, Sweden, September 1994.
Abstract
BibTeX
Postscript (414 Kbyte)
Henrik Nilsson and Peter Fritzson.
Algorithmic debugging for lazy functional languages.
Journal of Functional Programming, 4(3):337 - 370, July 1994.
Abstract
BibTeX
PDF (210 Kbyte)
Henrik Nilsson and Peter Fritzson.
Lazy algorithmic debugging: ideas for practical implementation.
In Peter Fritzson, editor, Automated and Algorithmic Debugging,
volume 749 of Lecture Notes in Computer Science, pages 117 - 134,
Linköping, Sweden, May 1993.
Abstract
BibTeX
Postscript (39 Kbyte)