Theoretical Computer Science
Profile Activity
Network profile
608
reputation
4
7

Russell O'Connor

Apparently, this user prefers to keep an air of mystery about them.

1
answer
3
questions
~2k
people reached
  • Kitchener ON
  • Member for 9 years, 5 months
  • 65 profile views
  • Last seen Jul 18 '18 at 20:06

Communities (8)

Top network posts

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
8 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

Badges (11)

Gold

—

Silver

4

Rarest

Bronze

7

Rarest

View all badges →