Resources
Current Research in Programming Languages
- ACM Special Interest Group on Programming Languages
- Symposium on Principles of Programming Languages (POPL)
- Principles and Practice of Parallel Programming (PPoPP)
- Conference on Programming Language Design and Implementation (PLDI)
- International Conference on Functional Programming (ICFP)
- Systems, Programming, and Applications (SPLASH) / Conference on Object-Oriented Programming Systems Languages and Applications (OOPSLA)
- Architectural Support for Programming Languages and Operating Systems (ASPLOS)
- ACM Transactions on Programming Languages and Systems (TOPLAS)
- PL Perspectives (SIGPLAN blog)
- Programming Language Enthusiast blog
History of Programming Languages
- History of Programming Languages (HOPL) Conference
- Computer Languages History (poster)
- Masterminds of Programming: Conversations with the Creators of Major Programming Languages (book)
- Coders at Work: Reflections on the Craft of Programming (book)
Lists of Programming Languages
- Classification of the principal programming paradigms (poster)
- 99 Bottles of Beer
- The Computer Language Benchmarks Game
Standard ML
- Implementations
- Moscow ML — used for course assignments
- MLton
- Standard ML of New Jersey (SML/NJ)
- MLKit
- PolyML
- Tutorials
- Programming in Standard ML, Robert Harper
- Introduction to Standard ML, Atsushi Ohori
- Books
- ML for the Working Programmer, Lawrence Paulson
- Elements of ML Programming, Jeffrey Ullman
- The Definition of Standard ML (Revised), Robin Milner, Mads Tofte, Robert Harper, and David MacQueen — not for the faint of heart!
- Coding standards
- Style Guide — these are useful (and common) conventions among SML programmers, but the are not required for submitted code