Formatting: a class act
暂无分享,去创建一个
[1] Mark P. Jones,et al. Type Classes with Functional Dependencies , 2000, ESOP.
[2] Olivier Danvy. Functional Unparsing , 1998, J. Funct. Program..
[3] Peter Thiemann,et al. Functional logic overloading , 2002, POPL '02.
[4] Conor McBride. Faking it: Simulating dependent types in Haskell , 2002, J. Funct. Program..
[5] Philip Wadler,et al. Theorems for free! , 1989, FPCA.
[6] Lennart Augustsson,et al. Cayenne—a language with dependent types , 1998, ICFP '98.
[7] Peter Thiemann,et al. A Functional Notation for Functional Dependencies , 2001 .