NPRG075

Programming language design

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

Lectures: Tuesday 12:20, S6
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
Assignment - & How to do programming language research
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
Heuristics - Heuristic evaluation of programming systems
Cognition - Making programming easier and learnable