Home Publications

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:
  • Sergey, Ilya
BibTex:
Note:
partner: KUL; projects: NESSoS; No Tier; citations: 0
[Bibtex]