The Forum for Discussion about The Third Manifesto and Related Matters

You need to log in to create posts and topics.

TTM General discussion

TopicsLast post
Formalisation of Transitive ClosureBy dandl8 RepliesLast post: 2 days ago · dandl
Formalisation of Appendix A 'relcons'By dandl0 RepliesLast post: 5 days ago · dandl
A better sample of 'C# as D' Mark IIBy dandl0 RepliesLast post: 5 days ago · dandl
Heading inference, not type inferenceBy dandl · 30 RepliesLast post: 5 days ago · AntC
Defining a function relation by means of a headingBy dandl · 13 RepliesLast post: 1 week ago · AntC
Update on "C# is a D" projectBy dandl · 36 RepliesLast post: 2 weeks ago · Dave Voorhis
2 weeks ago
Dave Voorhis
Why not relational ordering operators?By dandl · 21 RepliesLast post: 2 weeks ago · dandl
Java JOINBy Dave Voorhis · 17 RepliesLast post: 3 weeks ago · dandl
Some issues with TTMBy dandl · 33 RepliesLast post: 3 weeks ago · dandl
A TTM Tuple is not a RecordBy dandl · 59 RepliesLast post: 3 weeks ago · dandl
Java as a host language for a DBy dandl · 21 RepliesLast post: 1 month ago · Dave Voorhis
1 month ago
Dave Voorhis
The case for an RA based on generics instead of typesBy dandl · 21 RepliesLast post: 2 months ago · Dave Voorhis
2 months ago
Dave Voorhis
How to expand assignment shortcutsBy dandl8 RepliesLast post: 2 months ago · johnwcowan
2 months ago
johnwcowan
A tuple operation: UPDATE t1 FROM t2By AntC4 RepliesLast post: 2 months ago · AntC
Function relationsBy dandl · 22 RepliesLast post: 2 months ago · Dave Voorhis
2 months ago
Dave Voorhis
More sad quotesBy p c1 ReplyLast post: 3 months ago · Dave Voorhis
3 months ago
Dave Voorhis