We are a reading club interested in topics related to programming languages (PL) and formal methods (FM). Get together to read and discuss research papers that are interesting to us. The goal is to learn and help each other learn.
dfava/readingclub
Folders and files
| Name | Name | Last commit date | ||
|---|---|---|---|---|