Refinements of Futures Past: Higher-Order Specification with Implicit Refinement Types.

Anish Tondwalkar Matthew Kolosick Ranjit Jhala

Published in: ECOOP (2021)

Keyphrases

higher order
pairwise
natural images
real world
markov random field
high order
decision making
website
conditional random fields
low order
lower order