Author:

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.