Lennart Augustsson Cayenne - a Language with Dependent Types. 239-250 1998 conf/icfp/1998 ICFP http://doi.acm.org/10.1145/289423.289451 db/conf/icfp/icfp98.html#Augustsson98