Polymorphic Reachability Types: Tracking Freshness, Aliasing, and Separation in Higher-Order Generic Programs.
Guannan WeiOliver BracevacSonglin JiaYuyan BaoTiark RompfPublished in: Proc. ACM Program. Lang. (2024)
Keyphrases
- higher order
- real time
- high order
- state space
- particle filter
- object oriented languages
- high frequency
- kalman filter
- high resolution
- computer programs
- super resolution
- natural images
- lambda calculus
- particle filtering
- partial occlusion
- fault tolerance
- visual tracking
- markov random field
- domain specific
- response time
- high level