The Forum for Discussion about The Third Manifesto and Related Matters

Please or Register to create posts and topics.

TTM General discussion

TopicsLast post
Does RM Pro 4 really preclude NULLs?By dandl · 28 RepliesLast post: 3 weeks ago · dandl
Heading inference, not type inferenceBy dandl · 40 RepliesLast post: 4 weeks ago · dandl
An alternative to open expressionsBy dandl · 13 RepliesLast post: 3 months ago · dandl
Another better sample of 'C# as D'By dandl2 RepliesLast post: 4 months ago · Erwin
Relcons and relfuns are both FOPLBy dandl9 RepliesLast post: 4 months ago · AntC
Formalisation of Transitive ClosureBy dandl8 RepliesLast post: 5 months ago · dandl
Formalisation of Appendix A 'relcons'By dandl0 RepliesLast post: 5 months ago · dandl
A better sample of 'C# as D' Mark IIBy dandl0 RepliesLast post: 5 months ago · dandl
Defining a function relation by means of a headingBy dandl · 13 RepliesLast post: 5 months ago · AntC
Update on "C# is a D" projectBy dandl · 36 RepliesLast post: 5 months ago · Dave Voorhis
5 months ago
Dave Voorhis
Why not relational ordering operators?By dandl · 21 RepliesLast post: 5 months ago · dandl
Java JOINBy Dave Voorhis · 17 RepliesLast post: 5 months ago · dandl
Some issues with TTMBy dandl · 33 RepliesLast post: 5 months ago · dandl
A TTM Tuple is not a RecordBy dandl · 59 RepliesLast post: 5 months ago · dandl