The Forum for Discussion about The Third Manifesto and Related Matters

Please or Register to create posts and topics.

TTM General discussion

TopicsLast post
Another better sample of 'C# as D'By dandl2 RepliesLast post: 10 months ago · Erwin
Relcons and relfuns are both FOPLBy dandl9 RepliesLast post: 11 months ago · AntC
Formalisation of Transitive ClosureBy dandl8 RepliesLast post: 11 months ago · dandl
Formalisation of Appendix A 'relcons'By dandl0 RepliesLast post: 11 months ago · dandl
A better sample of 'C# as D' Mark IIBy dandl0 RepliesLast post: 11 months ago · dandl
Update on "C# is a D" projectBy dandl · 36 RepliesLast post: 11 months ago · Dave Voorhis
11 months ago
Dave Voorhis
Why not relational ordering operators?By dandl · 21 RepliesLast post: 11 months ago · dandl
Java JOINBy Dave Voorhis · 17 RepliesLast post: 11 months ago · dandl
Some issues with TTMBy dandl · 33 RepliesLast post: 11 months ago · dandl
A TTM Tuple is not a RecordBy dandl · 59 RepliesLast post: 11 months ago · dandl
Java as a host language for a DBy dandl · 21 RepliesLast post: 12 months ago · Dave Voorhis
12 months ago
Dave Voorhis
The case for an RA based on generics instead of typesBy dandl · 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