Higher-order functional reactive programming in bounded space.
Neelakantan R. KrishnaswamiNick BentonJan HoffmannPublished in: POPL (2012)
Keyphrases
- higher order
- natural images
- space time
- databases
- programming language
- low dimensional
- lambda calculus
- decision trees
- agent architecture
- logic programs
- functional language
- programming environment
- development environment
- computer programs
- high order
- real time
- objective function
- bayesian networks
- case study
- artificial intelligence
- data sets