Principal type-schemes for functional programs (PDF). 9th SymposiumonPrinciplesofprogramminglanguages (POPL'82). ACM: 207–212. 1982 [2021-09-02]. ISBN 978-0-89791-065-1
Proceedings of the 16th ACM SIGPLAN(英语:SIGPLAN)-SIGACT(英语:SIGACT) SymposiumonPrinciplesofProgrammingLanguages(英语:SymposiumonPrinciplesofProgramming Languages)
Meta-evaluation Conference Record of ACM SymposiumonPrinciplesofProgrammingLanguages, January 1974. Carl Hewitt, Behavioral Semantics of Nonrecursive Control
Functional Programming, Simon Peyton Jones and Phil Wadler, Conference Record of the 20th Annual ACM SymposiumonPrinciplesofProgrammingLanguages, pages