Computer Science
Rodrigo Ribeiro's user avatar
Rodrigo Ribeiro's user avatar
Rodrigo Ribeiro's user avatar
Rodrigo Ribeiro
  • Member for 8 years, 8 months
  • Last seen more than 1 year ago
Profile Activity
Stats
283
reputation
3k
reached
1
answer
1
question
Communities
View all
About

Type theorist wanna be... Like logics, theorem proving, chess, beer and bacon!

Badges
View all badges
This user doesn’t have any gold badges yet.
1
silver badge
10
bronze badges
Top tags
7
Score
1
Posts
50
Posts %
7
Score
1
Posts
50
Posts %
0
Score
1
Posts
50
Posts %
0
Score
1
Posts
50
Posts %
0
Score
1
Posts
50
Posts %
0
Score
1
Posts
50
Posts %
Top posts
All Questions Answers
Score Newest
question
11
Programming language semantics prototyping tool
Nov 1, 2016
answer
7
Daily Applications of Type Theory
Oct 28, 2015
Top network posts
View all network posts
15
parenthesis in Haskell functions
14
Category theory and parsers --- references wanted
13
Haskell why is [fst,snd] :: [(a,a) -> a]
11
How do I pass command line arguments to stack exec
11
How can I convince Coq that my function is in fact recursive?

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.