NPRG075

Programming language design

Tomáš Petříček, 309 (3rd floor)
petricek@d3s.mff.cuni.cz
https://tomasp.net | @tomaspetricek

Lectures: Monday 12:20, S7
https://d3s.mff.cuni.cz/teaching/nprg075

Course lectures

Introduction - Programming language design
Design - Learning from architecture and design
Usability - Human-centric language design
Semantics - Formal models of programming
Types - Mathematics and engineering of types
Beyond - Unexpected perspectives on types
Paradigms - History and philosophy of programming
Close - Close look at past and today's programs
Assignment - & How to do programming language research
Heuristics - Heuristic evaluation of programming systems
Cognition - Making programming easier and learnable