Theoretical Computer Science
wren romano's user avatar
wren romano's user avatar
wren romano's user avatar
wren romano
  • Member for 12 years, 11 months
  • Last seen more than 6 years ago
Profile Activity
Stats
720
reputation
14k
reached
6
answers
0
questions
Communities
View all
Badges
View all badges
This user doesn’t have any gold badges yet.
4
silver badges
6
bronze badges
Top tags
View all tags
44
Score
2
Posts
33
Posts %
28
Score
1
Posts
17
Posts %
28
Score
1
Posts
17
Posts %
28
Score
1
Posts
17
Posts %
28
Score
1
Posts
17
Posts %
20
Score
2
Posts
33
Posts %
Top posts
All Questions Answers
Score Newest
answer
28
Is the Chomsky-hierarchy outdated?
Oct 18, 2010
answer
16
A category of NP-complete problems?
Nov 28, 2010
answer
5
What should a proof of correctness for a typechecker actually be proving?
Jun 13, 2017
answer
4
Reader, Writer monads
Oct 17, 2010
answer
4
What is the difference between proofs and programs (or between propositions and types)?
Mar 5, 2011
answer
1
PiSigma: why does 'unfold' bind a variable?
Feb 14, 2016
Top network posts
View all network posts
21
Why not be dependently typed?
17
What is predicativity?
13
Why is F#'s type inference so fickle?
10
What is the difference between the Mogensen-Scott and the Boehm-Berarducci encoding for ADTs on the Lambda Calculus?
8
Repeating figures in an appendix

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.