CW Reports
Publication date:
2012-01-01
Publisher:
Department of Computer Science, KU Leuven; Leuven, Belgium
Author:
Sergey, Ilya
Clarke, Dave
Keywords:
iMinds
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.