Cayenne
https://wiki.c2.com/?CayenneLanguage
開発者はLennart Augustsson
https://en.wikipedia.org/wiki/Lennart_Augustsson
論文
Cayenne--a Language With Dependent Types
http://citeseer.ist.psu.edu/viewdoc/summary?doi=10.1.1.47.155
#プログラミング言語