Comparing Cubes

by Steffen van Bakel , Luigi Liquori , Simona Ronchi Della Rocca , Pawel Urzyczyn , Afdeling Informatica , Instytut Informatyki
Citations:5 - 3 self

Documents Related by Co-Citation

985 A theory of type polymorphism in programming – Robin Milner - 1978
552 Lambda Calculi with Types – Henk Barendregt - 1993
497 The calculus of constructions – T Coquand, G P Huet - 1988
378 Towards a theory of type structure – J C Reynolds - 1974
634 Compiling with Continuations – A Appel - 1992
87 Polymorphic type inference – D Leivant - 1983
47 A short and proof of strong normalization for the Calculus of Constructions – H Geuvers - 1995
261 Combinatory Reduction Systems – J W Klop - 1980
7 della Rocca. Type Inference: Some Results, Some Problems – P Giannini, F Honsell, S Ronchi - 1993