Login / Signup
A Type Checking Algorithm for Higher-rank, Impredicative and Second-order Types.
Peng Fu
Published in:
CoRR (2017)
Keyphrases
</>
preprocessing
high level
database systems
d objects
knowledge discovery
optimization process