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.
-
Notifications
You must be signed in to change notification settings - Fork 1
dfava/readingclub
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Folders and files
| Name | Name | Last commit message | Last commit date | |
|---|---|---|---|---|
Repository files navigation
About
Reading club on programming languages and formal methods
Topics
Resources
Stars
Watchers
Forks
Releases
No releases published
Packages 0
No packages published