The Forum for Discussion about The Third Manifesto and Related Matters

You need to log in to create posts and topics.

TTM General discussion

123
TopicsLast post
An alternative to open expressionsBy dandl · 
12
13 RepliesLast post: 1 week ago · dandl
1 week ago
dandl
'Phantom type' for Attribute-Value pairs, in "popular languages" [was C# as a D]By AntC · 
123
27 RepliesLast post: 1 month ago · dandl
1 month ago
dandl
Another better sample of 'C# as D'By dandl2 RepliesLast post: 2 months ago · Erwin
2 months ago
Erwin
'Auxiliary relvar' by any other name? [was: Specialisation-by-Constraint for arithmetic operations]By AntC0 RepliesLast post: 2 months ago · AntC
2 months ago
AntC
Specialisation-by-Constraint for arithmetic operations: up to a point, Lord CopperBy AntC5 RepliesLast post: 2 months ago · dandl
2 months ago
dandl
Can TCLOSE and GTC claim to be about directed paths without edges having a direction?By dandl · 
12
17 RepliesLast post: 2 months ago · Dave Voorhis
2 months ago
Dave Voorhis
Does RM Pro 4 really preclude NULLs?By dandl · 
123
21 RepliesLast post: 2 months ago · dandl
2 months ago
dandl
Relcons and relfuns are both FOPLBy dandl9 RepliesLast post: 2 months ago · AntC
2 months ago
AntC
Formalisation of Transitive ClosureBy dandl8 RepliesLast post: 2 months ago · dandl
2 months ago
dandl
Formal definitions for Relation Constant, Transitive Closure, Extended Transitive ClosureBy dandl0 RepliesLast post: 2 months ago · dandl
2 months ago
dandl
Formalisation of Appendix A 'relcons'By dandl0 RepliesLast post: 2 months ago · dandl
2 months ago
dandl
A better sample of 'C# as D' Mark IIBy dandl0 RepliesLast post: 2 months ago · dandl
2 months ago
dandl
Heading inference, not type inferenceBy dandl · 
1234
30 RepliesLast post: 2 months ago · AntC
2 months ago
AntC
Defining a function relation by means of a headingBy dandl · 
12
13 RepliesLast post: 2 months ago · AntC
2 months ago
AntC
Update on "C# is a D" projectBy dandl · 
1234
36 RepliesLast post: 3 months ago · Dave Voorhis
3 months ago
Dave Voorhis
Why not relational ordering operators?By dandl · 
123
21 RepliesLast post: 3 months ago · dandl
3 months ago
dandl
Java JOINBy Dave Voorhis · 
12
17 RepliesLast post: 3 months ago · dandl
3 months ago
dandl
Some issues with TTMBy dandl · 
1234
33 RepliesLast post: 3 months ago · dandl
3 months ago
dandl
A TTM Tuple is not a RecordBy dandl · 
123Last »
59 RepliesLast post: 3 months ago · dandl
3 months ago
dandl
So C# really can be a D, but there are issues...By dandl0 RepliesLast post: 3 months ago · dandl
3 months ago
dandl
123