Pattern Matching with Dependent Types
暂无分享,去创建一个
[1] Rod M. Burstall,et al. Proving Properties of Programs by Structural Induction , 1969, Comput. J..
[2] Lennart Augustsson,et al. Compiling Pattern Matching , 1985, FPCA.
[3] Gilles Kahn,et al. Natural Semantics , 1987, STACS.
[4] R. M. BURSTALL. Inductively Defined Functions in Functional Programming Languages , 1987, J. Comput. Syst. Sci..
[5] Loïc Colson. About Primitive Recursive Algorithms , 1989, ICALP.
[6] Conal Elliott,et al. Higher-order Unification with Dependent Function Types , 1989, RTA.
[7] David J. Pym,et al. Proofs, search and computation in general logic , 1990 .
[8] Sören Stenlund. Language and philosophical problems , 1990 .
[9] F. Pfenning. Logic programming in the LF logical framework , 1991 .
[10] Lars-Henrik Eriksson. A Finitary Version of the Calculus of Partial Inductive Defintions , 1991, ELP.
[11] Michael Dummett,et al. The logical basis of metaphysics , 1991 .