Loading AI tools
Found in articles
Dijkstra Monads for Free. 44nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages. 2017 [2021-08-29]. （原始内容存档于2022-03-02）. Swamy, Nikhil;
Standard ML
Principal type-schemes for functional programs (PDF). 9th Symposium on Principles of programming languages (POPL'82). ACM: 207–212. 1982 [2021-09-02]. ISBN 978-0-89791-065-1
类型类
ACM Symposium on Principles of Programming Languages. January 1989 [2021-02-08]. （原始内容存档于2016-03-11）. Appel, Andrew; David MacQueen. Standard ML of New
FP语言
Research Center, Proceedings of the FIfteenth Annual ACM SIGACT-SIGPLAN Symposium on Principles of Programming Languages, San Diego, CA, January 1988
纯函数式编程
Functional Programming, Simon Peyton Jones and Phil Wadler, Conference Record of the 20th Annual ACM Symposium on Principles of Programming Languages, pages