Functional automatic differentiation with Dirac impulses

ACM SIGPLAN Notices

Volumn 38, Issue 9, 2003, Pages 153-164

  Nilsson, Henrik ^a  

^a Yale University   (United States)

Author keywords

Automatic differentiation; Dirac impulses; Distribution theory; FRP; Functional programming; Haskell; Hybrid modeling; Modeling languages; Synchronous dataflow languages

Indexed keywords

ALGORITHMS; ANIMATION; COMPUTER PROGRAMMING LANGUAGES; COMPUTER SIMULATION; COMPUTER SIMULATION LANGUAGES; COMPUTER VISION; GRAPHICAL USER INTERFACES; ROBOTICS;

DIRAC IMPULSES; DISTRIBUTION THEORY; FUNCTIONAL AUTOMATIC DIFFERENTIATION; FUNCTIONAL LANGUAGE; FUNCTIONAL REACTIVE PROGRAMMING; MODELING LANGUAGES; SYNCHRONOUS DATAFLOW LANGUAGES;

COMPUTER PROGRAMMING;

EID: 1442313309     PISSN: 03621340     EISSN: None     Source Type: Journal    
DOI: 10.1145/944746.944720     Document Type: Conference Paper

References (19)

1. François E. Cellier. Object-oriented modelling: Means for dealing with system complexity. In Proceedings of the 15th Benelux Meeting on Systems and Control, Mierlo, The Netherlands, pages 53-64, 1996.
2. George F. Corliss. Automatic differentiation bibliography. In Andreas Griewank and George F. Corliss, editors, Automatic Differentiation of Algorithms: Theory, Implementation, and Application, pages 331-353. SIAM, Philadelphia, Pennsylvania, USA, 1991. Updated on-line version: http://liinwww.ira.uka.de/bibliography/-Math/auto.diff.html
3. Antony Courtney and Conal Elliott. Genuinely functional user interfaces. In Proceedings of the 2001 ACM SIGPLAN Haskell Workshop, Firenze, Italy, September 2001.
4. Conal Elliott and Paul Hudak. Functional reactive animation. In Proceedings of ICFP'97: International Conference on Functional Programming, pages 163-173, June 1997.
5. Hilding Elmqvist, François E. Cellier, and Martin Otter. Object-oriented modeling of hybrid systems. In Proceedings of ESS'93 European Simulation Symposium, pages xxxi-xli, Delft, The Netherlands, 1993.
6. G. Friedlander and M. Joshi. Introduction to the theory of distributions. Cambridge University Press, 1998.
7. Thomas A. Henzinger. The theory of hybrid automata. In Proceedings of the 11th Annual IEEE Symposium on Logics in Computer Science (LICS 1996), pages 278-292, 1996.
8. Paul Hudak, Anthony Courtney, Henrik Nilsson, and John Peterson. Arrows, robots, and functional reactive programming. In Johan Jeuring and Simon Peyton Jones, editors, Advanced Functional Programming, 4th International School 2002, volume 2638 of Lecture Notes in Computer Science, pages 159-187. Springer-Verlag, 2003.
9. John Hughes. Generalising monads to arrows. Science of Computer Programming, 37:67-111, May 2000.
10. Jerzy Karczmarczuk. Functional differentiation of computer programs. Higher-Order and Symbolic Computation, 14(1):35-57, March 2001.
11. John H. Mathews. Numerical methods for mathematics, science, and engineering. Prentice-Hall, 2nd edition edition, 1992.
12. Pieter J. Mosterman. An overview of hybrid simulation phenomena and their support by simulation packages. In Fritz W. Vaadrager and Jan H. van Schuppen, editors, Hybrid Systems: Computation and Control '99, number 1569 in Lecture Notes in Computer Science, pages 165-177, 1999.
13. 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.
14. 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.
15. Ross Paterson. A new notation for arrows. In Proceedings of the 2001 ACM SIGPLAN International Conference on Functional Programming, pages 229-240, Firenze, Italy, September 2001.
16. Izzet Pembeci, Henrik Nilsson, and Greogory Hager. System presentation - functional reactive robotics: An exercise in principled integration of domain-specific languages. In Principles and Practice of Declarative Programming (PPDP'02), pages 168-179, Pittsburgh, Pennsylvania, USA, October 2002.
17. John Peterson, Greg Hager, and Paul Hudak. A language for declarative robotic programming. In Proceedings of IEEE Conference on Robotics and Automation, May 1999.
18. John Peterson, Paul Hudak, Alastair Reid, and Greg Hager. FVision: A declarative language for visual tracking. In Proceedings of PADL'01: 3rd International Workshop on Practical Aspects of Declarative Languages, pages 304-321, January 2001.
19. Ian Richards and Heekyung Youn. Theory of distributions: a non-technical introduction. Cambridge University Press, 1990.