by Bernd Krieg-Brückner
This CFI Language Design Study Note contains several patterns related to partiality: about Subtypes Defined by Predicates. Two-Valued vs. Three-Valued Logics Relations, Strict and NonStrict Partial Functions, Infinite Objects, and Non-Continuous Functions.
Patterns have not been qualified by asterisks yet.
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.