A right-to-left type system for mutually-recursive value definitions.

Alban Reynaud Gabriel Scherer Jeremy Yallop

Published in: CoRR (2018)

Keyphrases

real world
information systems
recursive queries
database
databases
knowledge base
search algorithm
multiple types