GrejucAlex2021.pdf Public
File Details
- Depositor
- Grejuc, Alex
- Date Uploaded
- 2021-05-31
- Date Modified
- 2021-05-31
- Fixity Check
- passed 2 Files with 2 total versions checked 2025-04-15 20:17:03 -0700
- Characterization
-
File Format: pdf (Portable Document Format)Page Count: 53File Size: 521064Original Checksum: 5dc2cc208a7d7ae4949c83424b482f01Mime Type: application/pdf
| User Activity | Date |
|---|---|
| User Grejuc, Alex has attached GrejucAlex2021.pdf to Playing by the Rules: A Formal Specification of BoGL’s Loops and Type System |
|