The Forum for Discussion about The Third Manifesto and Related Matters

Please or Register to create posts and topics.

TTM General discussion

PreviousPage 2 of 4Next
TopicsLast post
Subset types, in a completely other contextBy AntC0 RepliesLast post: 2 years ago · AntC
2 years ago
AntC
Where to start for a beginner?By Efrit · 
123
21 RepliesLast post: 2 years ago · Erwin
2 years ago
Erwin
Is there a language that does both what SQL does and general purpose programming?By AntC · 
1234
38 RepliesLast post: 3 years ago · dandl
3 years ago
dandl
Why is Cassandra not considered a relational database?By AntC3 RepliesLast post: 3 years ago · AntC
3 years ago
AntC
Correlated subqueriesBy Jake Wheat · 
123Last
73 RepliesLast post: 3 years ago · dandl
3 years ago
dandl
Does RM Pro 4 really preclude NULLs?By dandl · 
123
28 RepliesLast post: 3 years ago · dandl
3 years ago
dandl
Heading inference, not type inferenceBy dandl · 
12345
40 RepliesLast post: 3 years ago · dandl
3 years ago
dandl
An alternative to open expressionsBy dandl · 
12
13 RepliesLast post: 3 years ago · dandl
3 years ago
dandl
'Phantom type' for Attribute-Value pairs, in "popular languages" [was C# as a D]By AntC · 
123
27 RepliesLast post: 3 years ago · dandl
3 years ago
dandl
Another better sample of 'C# as D'By dandl2 RepliesLast post: 3 years ago · Erwin
3 years ago
Erwin
'Auxiliary relvar' by any other name? [was: Specialisation-by-Constraint for arithmetic operations]By AntC0 RepliesLast post: 3 years ago · AntC
3 years ago
AntC
Specialisation-by-Constraint for arithmetic operations: up to a point, Lord CopperBy AntC5 RepliesLast post: 3 years ago · dandl
3 years ago
dandl
Can TCLOSE and GTC claim to be about directed paths without edges having a direction?By dandl · 
12
17 RepliesLast post: 3 years ago · Dave Voorhis
3 years ago
Dave Voorhis
Relcons and relfuns are both FOPLBy dandl9 RepliesLast post: 3 years ago · AntC
3 years ago
AntC
Formalisation of Transitive ClosureBy dandl8 RepliesLast post: 3 years ago · dandl
3 years ago
dandl
Formalisation of Appendix A 'relcons'By dandl0 RepliesLast post: 3 years ago · dandl
3 years ago
dandl
A better sample of 'C# as D' Mark IIBy dandl0 RepliesLast post: 3 years ago · dandl
3 years ago
dandl
Defining a function relation by means of a headingBy dandl · 
12
13 RepliesLast post: 3 years ago · AntC
3 years ago
AntC
Update on "C# is a D" projectBy dandl · 
1234
36 RepliesLast post: 3 years ago · Dave Voorhis
3 years ago
Dave Voorhis
Why not relational ordering operators?By dandl · 
123
21 RepliesLast post: 3 years ago · dandl
3 years ago
dandl
PreviousPage 2 of 4Next