Augustsson, Lennart (1998). Cayenne – a language with dependent types. ICFP '98. Proceedings of the third ACM SIGPLAN international conference on Functional programming. pp. 239–250. CiteSeerX10.1.1.47.155. doi:10.1145/289423.289451. S2CID18331937.
Augustsson, Lennart (1984). A Compiler for Lazy ML. LFP '84. Proceedings of the 1984 ACM Symposium on LISP and functional programming. pp. 218–227. doi:10.1145/800055.802038. S2CID11365842.
Augustsson, Lennart (1998). Cayenne – a language with dependent types. ICFP '98. Proceedings of the third ACM SIGPLAN international conference on Functional programming. pp. 239–250. CiteSeerX10.1.1.47.155. doi:10.1145/289423.289451. S2CID18331937.
semanticscholar.org
api.semanticscholar.org
Augustsson, Lennart (1998). Cayenne – a language with dependent types. ICFP '98. Proceedings of the third ACM SIGPLAN international conference on Functional programming. pp. 239–250. CiteSeerX10.1.1.47.155. doi:10.1145/289423.289451. S2CID18331937.
Augustsson, Lennart (1984). A Compiler for Lazy ML. LFP '84. Proceedings of the 1984 ACM Symposium on LISP and functional programming. pp. 218–227. doi:10.1145/800055.802038. S2CID11365842.