by Maura Cerioli and Peter D. Mosses
It will be made available formatted for printing as compressed Postscript and DVI.
The WWW version provides only a rough approximation (mostly generated automatically by Hyperlatex) to the symbols used in the formatted versions. Please inform pdmosses@brics.dk about any places where a better approximation could be made!
N.B. All Study Notes are TENTATIVE first versions, unless explicitly marked otherwise.
The notion of subsort in already existing frameworks is used for addressing different problems. Depending on the problem that is regarded as primary, the semantics of overloading and the rules describing term formation can change. Since in X we want to have a uniform treatment of overloading semantics and one definition of well-formed terms, we cannot satisfactory represent all cases by one construct.