A Grand Challenge for Computing: Towards Full Reactive Modeling of a Multi-cellular Animal
Abstract elided by the publisher.
Related papers
- A functional reactive animation of a lift using Fran JFP 2000
- Functional Reactive Animation ICFP 1997
- The Verifying Compiler: A Grand Challenge for Computing Research CC 2003
- The Verifying Compiler, a Grand Challenge for Computing Research VMCAI 2005
- Multi-Tier Functional Reactive Programming for the Web Onward! 2014
- Generating reactive programs for graphical user interfaces from multi-way dataflow constraint systems GPCE 2015
- Functional reactive programming from first principles PLDI 2000
- Functional automatic differentiation with dirac impulses ICFP 2003