Typed Adapton: Refinement types for nominal memoization.

Matthew A. Hammer Jana Dunfield

Published in: CoRR (2016)

Keyphrases

higher order
real time
artificial intelligence
information systems
digital libraries
pairwise
logic programs