Dependent ML in use

Google Group
1

http://lambda-the-ultimate.org/node/5329

2

Yes, I still remember Olin Shivers suggesting this topic to me
more than 10 years ago :)On Friday, April 8, 2016 at 4:36:53 PM UTC-4, Raoul Duke wrote:

Remora: An Array-Oriented Language with Static Rank Polymorphism | Lambda the Ultimate