Title: A correspondence between type checking via reduction and type checking via evaluation. Accompanying code overview
Authors: Sergey, Ilya
Clarke, Dave
Issue Date: Jan-2012
Publisher: Department of Computer Science, KU Leuven
Series Title: CW Reports vol:CW617
Abstract: This is an accompanying technical report for the paper with the corresponding title, published in Information Processing Letters, volume 112, issues 1--2, pages 13--20. This document contains detailed listings of different semantic artifacts for type checking with explanations on the performed transformations.
Publication status: published
KU Leuven publication type: IR
Appears in Collections:Informatics Section

Files in This Item:
File Description Status SizeFormat
CW617.pdfDocument Published 227KbAdobe PDFView/Open


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