Sign in
Collapsible contracts: fixing a pathology of gradual typing.
Daniel Feltey
Ben Greenman
Christophe Scholliers
Robert Bruce Findler
Vincent St-Amour
Published in:
Proc. ACM Program. Lang. (2018)
Keyphrases
</>
supply chain
information retrieval
eye typing
probability distribution
adverse selection
database
spot market
moral hazard
text entry
utility function
multiscale
image processing
decision making
information systems
computer vision
artificial intelligence
learning algorithm