Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Chung-chieh Shan
Symbolic Conditioning of Arrays in Probabilistic Programs
Proceedings of the ACM on Programming Languages
Delimited Dynamic Binding
ACM SIGPLAN Notices
Computer Science
On the Static and Dynamic Extents of Delimited Continuations
BRICS Report Series
Delimited Dynamic Binding
