Sign in

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

Anish TondwalkarMatthew KolosickRanjit 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