|
|
|
||
Last update: doc. RNDr. Petr Hnětynka, Ph.D. (26.04.2023)
|
|
||
Last update: doc. RNDr. Petr Hnětynka, Ph.D. (12.05.2022)
The credits will be awarded for completing a small-scale independent project utilizing the methodologies discussed in the course to design a new or evaluate an existing language or a library. |
|
||
Last update: doc. RNDr. Petr Hnětynka, Ph.D. (12.05.2022)
Chasins, S.E., Glassman, E.L. and Sunshine, J., 2021. PL and HCI: better together. Communications of the ACM, 64(8), pp.98-106.
Pierce, B.C., 2002. Types and programming languages. MIT Press.
Carroll, J.M. ed., 2003. HCI models, theories, and frameworks: Toward a multidisciplinary science. Elsevier.
Montfort, N., Baudoin, P., Bell, J., Bogost, I. and Douglass, J., 2014. 10 PRINT CHR $(205.5+ RND (1));: GOTO 10. MIT Press. |
|
||
Last update: doc. RNDr. Petr Hnětynka, Ph.D. (12.05.2022)
1. Introduction to programming research methods: What can we say about programming?
2. Historical look at programming systems: Recovering lost programming ideas
3. Design perspective on programming: Inventing new interactive programming approaches
4. Evaluating programming system design: Case studies, user studies and empirical evaluation
5. Mathematical perspective on programming: Formal models of programming languages
6.Proofs about programming languages: Types and properties of functional languages |