Skip to main content
Proof Assistants Beta
Dario's user avatar
Dario's user avatar
Dario's user avatar
Dario
  • Member for 2 years, 5 months
  • Last seen more than a week ago
  • Oxford, Vereinigtes Königreich
Profile Activity
Stats
213
reputation
292
reached
0
answers
1
question
Communities
View all
About

PhD student in Computer Science, working on programming languages, category theory and probability

Badges
This user doesn’t have any gold badges yet.
1
silver badge
5
bronze badges
Top tags
0
Score
1
Posts
100
Posts %
0
Score
1
Posts
100
Posts %
0
Score
1
Posts
100
Posts %
Top posts
11
Seven Trees in One, or How to formalize the Semiring of Types?
Nov 1, 2022
Top network posts
View all network posts
515
Static/Dynamic vs Strong/Weak
449
What is the difference between Scala's case class and class?
261
What is duck typing?
237
C#: How to convert a list of objects to a list of a single property of that object?
214
What is Scala's yield?