Skip to main content
Proof Assistants Beta
Dario's user avatar
Dario's user avatar
Dario's user avatar
Dario
  • Member for 2 years, 7 months
  • Last seen this week
  • Oxford, Vereinigtes Königreich
Profile Activity
Stats
213
reputation
299
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
question
11
Seven Trees in One, or How to formalize the Semiring of Types?
Nov 1, 2022
Top network posts
View all network posts
516
Static/Dynamic vs Strong/Weak
449
What is the difference between Scala's case class and class?
261
What is duck typing?
240
C#: How to convert a list of objects to a list of a single property of that object?
214
What is Scala's yield?