Type Reconstruction for General Refinement Types.

Kenneth Knowles Cormac Flanagan

Published in: ESOP (2007)

Keyphrases

special case
closely related
neural network
social networks
decision making
high quality
multi agent
multiple types