2 citations · 7 across the 6 of their papers we have counts for
1 paper · 1 filter
Alasdair Armstrong, Simon Foster, Georg Struth
Mella is a minimalistic dependently typed programming language and interactive theorem prover implemented in Haskell. Its main purpose is to investigate the effective integration o…