Uniform Traversal Combinators: Definition, Use and Properties
暂无分享,去创建一个
[1] David W. Stemple,et al. The ADABTPL Type System , 1989, DBPL.
[2] Robert S. Boyer,et al. Computational Logic , 1990, ESPRIT Basic Research Series.
[3] Richard S. Bird. The promotion and accumulation strategies in transformational programming , 1984, TOPL.
[4] Jr. Hartley Rogers. Theory of Recursive Functions and Effective Computability , 1969 .
[5] Neil Immerman,et al. The expressiveness of a family of finite set languages , 1991, PODS '91.
[6] Maarten M. Fokkinga,et al. Functional Programming with Bananas, Lenses, Envelopes and Barbed Wire , 1991, FPCA.
[7] D. C. Cooper,et al. Theory of Recursive Functions and Effective Computability , 1969, The Mathematical Gazette.
[8] Tim Sheard,et al. Automatic generation and use of abstract structure operators , 1991, TOPL.
[9] Grant Malcolm. Homomorphisms and Promotability , 1989, MPC.
[10] Corrado Böhm,et al. Automatic Synthesis of Typed Lambda-Programs on Term Algebras , 1985, Theor. Comput. Sci..
[11] Paul Hudak,et al. Conception, evolution, and application of functional programming languages , 1989, CSUR.