Login / Signup
The Dynamic Practice and Static Theory of Gradual Typing.
Michael Greenberg
Published in:
SNAPL (2019)
Keyphrases
</>
theoretical insights
theoretical framework
dynamic constraints
multimedia
multiscale
dynamic analysis
software engineering
real world
theoretical basis
medical images
dynamic routing
general theory
dynamic environments
mobile robot
high level
computer vision
machine learning