Operational Aspects of Type Systems: Inter-Derivable Semantics of Type Checking and Gradual Types for Object Ownership
Research Area: | Uncategorized | Year: | 2012 |
---|---|---|---|
Type of Publication: | Phd Thesis | ||
Authors: |
|
||
BibTex: |
|||
Note: | partner: KUL; projects: NESSoS; No Tier; citations: 0 |
||
[Bibtex] |