Login / Signup
Exact Intersection Type Abstractions for Safety Checking of Recursion Schemes.
Steven J. Ramsay
Published in:
PPDP (2014)
Keyphrases
</>
type checking
consistency checking
data sets
neural network
data mining
search space