PDF-A Logic for Parametric Polymorphism Gordon Plotkin Martn Abadi Abstract In this paper we introduce a logic for parametric polymorphism
Just as LCF is a logic for the simplytyped calculus with recursion and arithmetic our logic is a logic for System F The logic permits the formal presentation and
Download Presentation
"A Logic for Parametric Polymorphism Gordon Plotkin Martn Aba…" is the property of its rightful owner. Permission is granted to download and print materials on this website for personal, non-commercial use only, provided you retain all copyright notices. By downloading content from our website, you accept the terms of this agreement.
Presentation Transcript
Transcript not available.