We changed our privacy policy. Read more.
Theoretical Computer Science
Russell O'Connor
  • Kitchener ON
  • Member for 10 years, 7 months
Profile Activity
Stats
618
reputation
2k
reached
1
answers
3
questions
About
Apparently, this user prefers to keep an air of mystery about them.

Communities (8)

Top network posts

This user doesn’t have any gold badges yet.
4
silver badges
7
bronze badges
View all badges

Top tags (9)

Score 0
Posts 2
Posts % 50
Score 0
Posts 2
Score 0
Posts 2
Score 0
Posts 1
Score 0
Posts 1
Score 0
Posts 1
View all tags →

Top posts (4)

All Questions Answers
Votes Newest
29 Inductive types for large countable ordinal notations. May 8 '11
14 Is eta-equivalence for functions compatiable with Haskell's seq operation? Sep 27 '13
9 How can you build a coinductive memoization table for recursive functions over binary trees? Apr 20 '18
0 How can you build a coinductive memoization table for recursive functions over binary trees? May 15 '18

Your privacy

By clicking “Accept all cookies”, you agree Stack Exchange can store cookies on your device and disclose information in accordance with our Cookie Policy.