A Theory of Type Polymorphism in Programming

Read it

EnglishTiếng Việt (abstract only)

English beside Tiếng Việt

• 9 sections
• 0 figures
• 0 equations
• 23 references
• cited by 0 here
• difficulty 4 of 5
• the publisher's page

Contents

• 1INTRODUCTION
• 2ILLUSTRATIONS OF THE TYPE DISCIPLINE
• 3A Simple Applicative Language and Its Types
• 4A Well-Typing Algorithm and Its Correctness
• 5Types in Extended Languages
• 6Conclusion
• Acknowledgments

Its place here

No other paper in this corpus cites it and it cites none of them.