标签

activities

dependent type

Type Theory

oop

programming languages

dafny

verification

lens

haskell

scala

c++

functional programming