Author:
Plotkin Gordon,Abadi Martín
Reference22 articles.
1. Martin Abadi, Luca Cardelli and Pierre-Louis Curien. Formal parametric polymorphism. To Appear in proceedings of Principles of Prgramming Languages '93.
2. Lecture Notes in Computer Science, 389;A. Peter,1989
3. E. S. Bainbridge, Peter J. Freyd, Andre Scedrov, and Philip J. Scott. Functorial polymorphism. Theoretical Computer Science, 70(1):35–64, January 15 1990. Corrigendum in (3) 71, 10 April 1990, p. 431.
4. Corrado Böhm and A. Berarducci. Automatic synthesis of typed Λ-programs on term algebras. Theoretical Computer Science, 39:85–114, 1985.
5. volume 526 of Lecture Notes in Computer Science;L. Cardelli,1991
Cited by
82 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献