Sign in

Nested refinements: a logic for duck typing.

Ravi ChughPatrick Maxim RondonRanjit 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