Latest commit
History
Folders and files
| Name | Name | Last commit message | Last commit date | |
|---|---|---|---|---|
Repository files navigation
A self-contained repository for the paper Type and Scope Preserving Semantics
TypeChecking
To compile this project, you will need:
About
A self-contained repository for the paper Type and Scope Preserving Semantics
Resources
Stars
23 stars
Watchers
2 watching