Stack Exchange Network

Stack Exchange network consists of 175 Q&A communities including Stack Overflow, the largest, most trusted online community for developers to learn, share their knowledge, and build their careers.

Visit Stack Exchange

  7. current community

    your communities

    more stack exchange communities

    company blog
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 7 years, 11 months
  • 61 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 →