semantic foundation for sound gradual typing
Gradually typed programming languages provide a way forward in the debate between static and dynamic typing. In a gradual language, statically typed and dynamically typed programs can intermingle, and dynamically typed scripts can be gradually migrated to a statically typed style. In a sound gradual...
| Published: |
|
|---|---|
| Online Access: | http://hdl.handle.net/2047/D20398327 |