ITEM METADATA RECORD
Title: Operational Aspects of Type Systems: Inter-Derivable Semantics of Type Checking and Gradual Types for Object Ownership (Operationele aspecten van typesystemen: onderling afleidbare semantieken van typecontrole en graduele types voor object eigendom)
Other Titles: Operational Aspects of Type Systems: Inter-Derivable Semantics of Type Checking and Gradual Types for Object Ownership
Authors: Sergey, Ilya; S0208547;
Issue Date: 14-Nov-2012
ISBN: 978-94-6018-584-7
Publication status: published
KU Leuven publication type: TH
Appears in Collections:Informatics Section

Files in This Item:
File Status SizeFormat
sergey-thesis-final.pdf Published 2275KbAdobe PDFView/Open

 


All items in Lirias are protected by copyright, with all rights reserved.