- When and where? We meet on Wednesday 10:00, (roughly) every three weeks, alternating betweeb MFF and FIT
- Email updates Sign up here to receive email updates about meetings.
- What paper? Post ideas and vote using Github issues!
- What: Type-Level Computations for Ruby Libraries
- Paper: https://arxiv.org/abs/1904.03521
- Where: Room T9:364b, Thákurova 9, Praha 6 (see a guide and a map)
- Comment: An interesting perspective on what "types" can mean for dynamic programming languages. Read at least sections 2 and 3, which are accessible and provide nice overview. We can then try to read some of the formalism in section 4 or try to look at the evaluation in section 5. You do not need to read sections 4 and 5 in detail, but try to skim them to see what to find there!
- What: FP2: Fully in-Place Functional Programming
- Paper: https://webspace.science.uu.nl/~swier004/publications/2023-icfp.pdf
- Where: Room S510 (5th floor), Malostranské nám. 25 (see a map and a building plan)
- Comment: The paper describes a subset of a functional langauge where programs can be executed without any memory allocation. Read section 1, which provides a nice overview of the language. We will certainly want to understand the calculus and well-formedness rules in section 2.1 and 2.2. It may be also interesting to look briefly at some of the algorithms in section 3 and 4.
Volunteer to present the next paper using Github Issues in this repository!
- In previous years, the group was organised using a huge Google Doc (remarkably, nobody accidentally deleted it). Check it out for papers we've read in the past.
- Please share your paper ideas (and volunteer to present a paper) using Github Issues in this repository.