Polymorphic Type Checking by Interpretation of Code
暂无分享,去创建一个
[1] P. J. Landin. The Mechanical Evaluation of Expressions , 1964, Comput. J..
[2] P. J. Landin,et al. The next 700 programming languages , 1966, CACM.
[3] J. Girard. Une Extension De ĽInterpretation De Gödel a ĽAnalyse, Et Son Application a ĽElimination Des Coupures Dans ĽAnalyse Et La Theorie Des Types , 1971 .
[4] John C. Reynolds,et al. Towards a theory of type structure , 1974, Symposium on Programming.
[5] Robin Milner,et al. A Theory of Type Polymorphism in Programming , 1978, J. Comput. Syst. Sci..
[6] Henk Barendregt,et al. The Lambda Calculus: Its Syntax and Semantics , 1985 .
[7] Jan Willem Klop,et al. Term rewriting systems: a tutorial , 1987 .
[8] Simon L. Peyton Jones,et al. The Implementation of Functional Programming Languages , 1987 .
[9] Philip Wadler,et al. How to make ad-hoc polymorphism less ad hoc , 1989, POPL '89.
[10] Stefan Kahrs,et al. Unlimp, Uniqueness as a Leitmotiv for Implementation , 1992, PLILP.