Theoretical Computer Science
Network profile
343
reputation
2
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 8 years, 3 months
  • 62 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

27 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 (9)

Gold

—

Silver

2

Rarest

Bronze

7

Rarest

View all badges →