Report

A Systematic Approach in Type System Design based on Constraint Handling Rules

PJ STUCKEY, M SULZMANN

Department of Computer Science and Software Engineering | Published : 2001