- Precise Typing implies Functional Programming https://potocpav.github.io/programming/2020/12/11/functional-programming.html 20 comments haskell
- Arithmetics Without Plus: Criticising Type Systems using Elementary Arithmetics https://potocpav.github.io/programming/2020/05/19/arithmetics-without-plus.html 29 comments programming