Login / Signup

Reachability types: tracking aliasing and separation in higher-order functional programs.

Yuyan BaoGuannan WeiOliver BracevacYuxuan JiangQiyang HeTiark Rompf
Published in: Proc. ACM Program. Lang. (2021)
Keyphrases
  • higher order
  • functional programs
  • term rewriting systems
  • particle filter
  • state space
  • data mining
  • high resolution
  • stochastic grammar
  • artificial intelligence
  • high level
  • pairwise
  • programming language
  • high frequency