https://www.microsoft.com/en-us/research/uploads/prod/2020/1...
There's also a (research) language that uses the Perceus algorithm: https://koka-lang.github.io/