Forum Navigation
TTM General discussion
TopicsLast post
Another better sample of 'C# as D'By dandl2 RepliesLast post: 10 months ago · Erwin
10 months ago
Erwin
Erwin
'Auxiliary relvar' by any other name? [was: Specialisation-by-Constraint for arithmetic operations]By AntC0 RepliesLast post: 10 months ago · AntC
10 months ago
AntC
AntC
Specialisation-by-Constraint for arithmetic operations: up to a point, Lord CopperBy AntC5 RepliesLast post: 10 months ago · dandl
10 months ago
dandl
dandl
Can TCLOSE and GTC claim to be about directed paths without edges having a direction?By dandl · 17 RepliesLast post: 10 months ago · Dave Voorhis
Formalisation of Transitive ClosureBy dandl8 RepliesLast post: 11 months ago · dandl
11 months ago
dandl
dandl
Formalisation of Appendix A 'relcons'By dandl0 RepliesLast post: 11 months ago · dandl
11 months ago
dandl
dandl
A better sample of 'C# as D' Mark IIBy dandl0 RepliesLast post: 11 months ago · dandl
11 months ago
dandl
dandl
Defining a function relation by means of a headingBy dandl · 13 RepliesLast post: 11 months ago · AntC
11 months ago
AntC
AntC
11 months ago
dandl
dandl
11 months ago
dandl
dandl
So C# really can be a D, but there are issues...By dandl0 RepliesLast post: 12 months ago · dandl
12 months ago
dandl
dandl
Does a database need anything more than a storage-based type system?By dandl · 30 RepliesLast post: 1 year ago · Erwin
1 year ago
Erwin
Erwin
The case for an RA based on generics instead of typesBy dandl · 21 RepliesLast post: 1 year ago · Dave Voorhis
How to expand assignment shortcutsBy dandl8 RepliesLast post: 1 year ago · johnwcowan
1 year ago
johnwcowan
johnwcowan