Lennart Augustsson Cayenne - A Language with Dependent Types. 240-267 1998 Advanced Functional Programming db/conf/afp/afp1998.html#Augustsson98