Computer Science
Profile Activity
Meta user
Network profile
405
reputation
2
9

pyon

The end of the word is nigh. Bring as much popcorn as you can!

1
answer
5
questions
~1k
people reached

Communities (33)

Top network posts

Top tags (14)

Score 4
Posts 2
Posts % 33
Score 4
Posts 2
Score 0
Posts 1
Score 0
Posts 1
Score 0
Posts 1
Score 0
Posts 1
View all tags →

Top posts (6)

All Questions Answers
Votes Newest
13 Matrix chain multiplication and exponentiation Jan 24 '17
5 Does Damas-Milner still have principal types if existential type schemata are added? Jul 18 '16
4 What's the formal definition of Big-O notation for functions of more than one variable? Oct 5 '15
4 What is the language feature which allows a variable to be associated with values of different types? Oct 31 '19
2 Implementing Tarjan's strongly connected components algorithm in a language without exceptions or undefined behavior Oct 25 '19
1 Proof strategy to show that an algorithm cannot be implemented using just hereditarily terminating procedures Dec 29 '19

Badges (11)

Gold

—

Silver

2

Rarest

Bronze

9

Rarest

View all badges →

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.