Forum Navigation
TTM General discussion
TopicsLast post
Subset types, in a completely other contextBy AntC0 RepliesLast post: 2 years ago · AntC
2 years ago
AntC
AntC
2 years ago
Erwin
Erwin
Is there a language that does both what SQL does and general purpose programming?By AntC · 38 RepliesLast post: 2 years ago · dandl
2 years ago
dandl
dandl
Why is Cassandra not considered a relational database?By AntC3 RepliesLast post: 2 years ago · AntC
2 years ago
AntC
AntC
2 years ago
dandl
dandl
2 years ago
dandl
dandl
2 years ago
dandl
dandl
3 years ago
dandl
dandl
'Phantom type' for Attribute-Value pairs, in "popular languages" [was C# as a D]By AntC · 27 RepliesLast post: 3 years ago · dandl
3 years ago
dandl
dandl
'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
AntC
Specialisation-by-Constraint for arithmetic operations: up to a point, Lord CopperBy AntC5 RepliesLast post: 3 years ago · dandl
3 years ago
dandl
dandl
Can TCLOSE and GTC claim to be about directed paths without edges having a direction?By dandl · 17 RepliesLast post: 3 years ago · Dave Voorhis
Formalisation of Appendix A 'relcons'By dandl0 RepliesLast post: 3 years ago · dandl
3 years ago
dandl
dandl
Defining a function relation by means of a headingBy dandl · 13 RepliesLast post: 3 years ago · AntC
3 years ago
AntC
AntC
3 years ago
dandl
dandl