31 citations · 81 across the 29 of their papers we have counts for
1 paper · 2 filters
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…