The Forum for Discussion about The Third Manifesto and Related Matters

Please or Register to create posts and topics.

TTM General discussion

1234
TopicsLast post
Another better sample of 'C# as D'By dandl2 RepliesLast post: 10 months ago · Erwin
10 months ago
Erwin
'Auxiliary relvar' by any other name? [was: Specialisation-by-Constraint for arithmetic operations]By AntC0 RepliesLast post: 10 months ago · AntC
10 months ago
AntC
Specialisation-by-Constraint for arithmetic operations: up to a point, Lord CopperBy AntC5 RepliesLast post: 10 months ago · dandl
10 months ago
dandl
Can TCLOSE and GTC claim to be about directed paths without edges having a direction?By dandl · 
12
17 RepliesLast post: 10 months ago · Dave Voorhis
10 months ago
Dave Voorhis
Relcons and relfuns are both FOPLBy dandl9 RepliesLast post: 11 months ago · AntC
11 months ago
AntC
Formalisation of Transitive ClosureBy dandl8 RepliesLast post: 11 months ago · dandl
11 months ago
dandl
Formalisation of Appendix A 'relcons'By dandl0 RepliesLast post: 11 months ago · dandl
11 months ago
dandl
A better sample of 'C# as D' Mark IIBy dandl0 RepliesLast post: 11 months ago · dandl
11 months ago
dandl
Defining a function relation by means of a headingBy dandl · 
12
13 RepliesLast post: 11 months ago · AntC
11 months ago
AntC
Update on "C# is a D" projectBy dandl · 
1234
36 RepliesLast post: 11 months ago · Dave Voorhis
11 months ago
Dave Voorhis
Why not relational ordering operators?By dandl · 
123
21 RepliesLast post: 11 months ago · dandl
11 months ago
dandl
Java JOINBy Dave Voorhis · 
12
17 RepliesLast post: 11 months ago · dandl
11 months ago
dandl
Some issues with TTMBy dandl · 
1234
33 RepliesLast post: 11 months ago · dandl
11 months ago
dandl
A TTM Tuple is not a RecordBy dandl · 
123Last »
59 RepliesLast post: 11 months ago · dandl
11 months ago
dandl
So C# really can be a D, but there are issues...By dandl0 RepliesLast post: 12 months ago · dandl
12 months ago
dandl
Java as a host language for a DBy dandl · 
123
21 RepliesLast post: 12 months ago · Dave Voorhis
12 months ago
Dave Voorhis
Does a database need anything more than a storage-based type system?By dandl · 
1234
30 RepliesLast post: 1 year ago · Erwin
1 year ago
Erwin
The case for an RA based on generics instead of typesBy dandl · 
123
21 RepliesLast post: 1 year ago · Dave Voorhis
1 year ago
Dave Voorhis
How to expand assignment shortcutsBy dandl8 RepliesLast post: 1 year ago · johnwcowan
1 year ago
johnwcowan
A tuple operation: UPDATE t1 FROM t2By AntC4 RepliesLast post: 1 year ago · AntC
1 year ago
AntC
1234