TY  - RPRT
TI  - Refinements of Futures Past: Higher-Order Specification with Implicit Refinement Types (Extended Version)
AU  - Anish Tondwalkar
AU  - Matthew Kolosick
AU  - Ranjit Jhala
PY  - 2021
UR  - https://arxiv.org/abs/2105.01954
ID  - 2105.01954
ER  -