Change History for TypeFunctions

Version Date Author Comment
90 15 months goldfire
89 5 years simonpj
88 5 years chak
87 5 years chak
86 6 years chak
85 6 years chak
84 6 years chak
83 6 years chak
82 6 years chak
81 7 years chak
80 7 years chak
79 7 years chak
78 7 years chak
77 7 years chak
76 7 years chak
75 7 years chak
74 7 years simonpj
73 7 years simonpj
72 7 years simonpj
71 7 years simonpj
70 7 years simonpj
69 7 years simonpj
68 7 years chak
67 7 years chak
66 7 years chak
65 7 years chak
64 7 years chak
63 7 years chak
62 7 years chak
61 7 years chak
60 7 years chak
59 8 years chak
58 8 years chak
57 8 years chak
56 8 years chak
55 8 years chak
54 8 years chak
53 8 years chak
52 8 years chak
51 8 years chak
50 8 years chak
49 8 years chak
48 8 years chak
47 8 years chak
46 8 years chak
45 8 years chak
44 8 years chak
43 8 years chak
42 8 years chak Initial info about kind checking
41 8 years chak Kinds of indexed types are determined by the kind signature alone
40 8 years chak Type checking indexed types (III)
39 8 years chak Type checking indexed types (II)
38 8 years chak Type checking indexed types (I)
37 8 years chak Align implementation description with actual code plus add terminology …
36 8 years chak
35 8 years chak
34 8 years chak
33 8 years chak
32 8 years chak
31 8 years chak
30 8 years chak
29 8 years chak
28 8 years chak
27 8 years chak
26 8 years chak new formation rules
25 8 years chak Relaxing restrictions
24 8 years chak
23 8 years chak
22 8 years chak
21 8 years chak
20 8 years chak
19 8 years chak
18 8 years chak
17 8 years chak
16 8 years chak
15 8 years chak
14 8 years chak
13 8 years chak
12 8 years chak
11 8 years chak
10 8 years chak
9 8 years chak
8 8 years chak
7 8 years chak type checking class declarations with assoc data types
6 8 years chak renaming an extraction of assoc data types
5 8 years chak
4 8 years chak
3 8 years chak
2 8 years chak specification and restrictions
1 8 years chak aims