Change History for TypeFunctions

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