Functional parametricity
暂无分享,去创建一个
[1] Andre Scedrov,et al. Functorial Polymorphism , 1990, Theor. Comput. Sci..
[2] Edmund Robinson,et al. Applications of Categories in Computer Science: Dinaturality for free , 1992 .
[3] S. Lane. Categories for the Working Mathematician , 1971 .
[4] Edmund Robinson,et al. How complete is PER? , 1989, [1989] Proceedings. Fourth Annual Symposium on Logic in Computer Science.
[5] Andre Scedrov,et al. Normal Forms and Cut-Free Proofs as Natural Transformations , 1992 .
[6] Philip Wadler,et al. Theorems for free! , 1989, FPCA.
[7] John C. Reynolds,et al. Types, Abstraction and Parametric Polymorphism , 1983, IFIP Congress.
[8] Peter J. Freyd. Structural Polymorphism , 1993, Theor. Comput. Sci..
[9] R. A. G. Seely,et al. Categorical semantics for higher order polymorphic lambda calculus , 1987, Journal of Symbolic Logic.
[10] John C. Reynolds,et al. Polymorphism is not Set-Theoretic , 1984, Semantics of Data Types.
[11] John C. Reynolds,et al. Types, Abstractions, and Parametric Polymorphism, Part 2 , 1991, MFPS.