Higher-order functional reactive programming without spacetime leaks.
Neelakantan R. KrishnaswamiPublished in: ICFP (2013)
Keyphrases
- space time
- higher order
- spatial and temporal
- spatio temporal
- video sequences
- functional language
- reactive systems
- programming language
- information flow
- dynamic scenes
- motion patterns
- lambda calculus
- natural images
- physically plausible
- dynamic textures
- high order
- lower order
- leak detection
- low order
- markov random field
- automatic identification
- agent architecture
- functional programming
- pairwise
- programming environment
- structured light
- three dimensional
- social networks