[clean-list] uniqueness attributes of data constructors

[Wolfgang Jeltsch]

Am Montag, 22. August 2005 09:19 schrieb erik.zuurbier at tiscali.nl:
> Wolfgang wrote:
> > in the following mail I use the notation ^*, ^x and ^u/^v for uniqueness
> > attributes "unique", "non-unique" and "variable".
>
> Why don't you post the source code itself?

Because there is no source code.  I'm not coding in Clean but I'm writing a 
thesis which contains a description of uniqueness typing according to the 
paper "Uniqueness Typing for Functional Languages with Graph Rewriting 
Semantics".  The above syntax is "inspired" by this paper where ^ stands for 
"superscript", * for LaTeX' \bullet and x for LaTeX' \times.  I was thinking 
about the rules for typing data constructors and came across the problem I 
described.

> [...]

Best regards,
Wolfgang