1 citations · 1 across the 1 of their papers we have counts for
1 paper · 1 filter
Johannes Emerich
Functional languages with strong static type systems have beneficial properties to help ensure program correctness and reliability. Surprisingly, their practical significance in ap…