Programming Languages

Goals of Programming Languages

Typically, programming languages need to balance 3 goals:

1. Performance
2. Safety
3. Productivity

Content

• Calculus
• SKI Calculus
• Lambda Calculus
• Type Systems and Type Inference

Resources

• Stanford CS242 Programming Languages