42 citations · 206 across the 16 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…