Login / Signup
Sound and Complete Bidirectional Typechecking for Higher-Rank Polymorphism with Existentials and Indexed Types.
Jana Dunfield
Neelakantan R. Krishnaswami
Published in:
CoRR (2016)
Keyphrases
</>
databases
computer vision
information systems
decision making
expert systems
mobile robot
rank order