Q (programming language)
暂无分享,去创建一个
[1] Gerald J. Sussman,et al. Structure and Interpretation of Computer Programs, Second Edition , 1996 .
[2] Richard S. Bird,et al. Introduction to functional programming , 1988, Prentice Hall International series in computer science.
[3] Albert Gräf,et al. Left-to-Right Tree Pattern Matching , 1991, RTA.
[4] Gerald J. Sussman,et al. Scheme: A Interpreter for Extended Lambda Calculus , 1998, High. Order Symb. Comput..
[5] Michael J. O'Donnell,et al. Equational Logic as a Programming Language. , 1987 .
[6] Martin C. Henson. Elements of Functional Languages , 1988 .
[7] Philip Wadler,et al. Views: a way for pattern matching to cohabit with data abstraction , 1987, POPL '87.