Nested refinements: a logic for duck typing.

Ravi Chugh Patrick Maxim Rondon Ranjit Jhala

Published in: POPL (2012)

Keyphrases

logic programming
multi valued
predicate logic
neural network
data mining
digital libraries
inference rules
logical framework
classical logic
formal language
formal theory
logic synthesis