- When and where? We meet on Wednesday 10:00, every three weeks, alternating betweeb MFF and FIT
- Email updates Sign up here to receive email updates about meetings.
- 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!
- TBA
- 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 the Issue #1 in this repository.