Project Details
| Status | Active |
|---|---|
| Effective start/end date | 6/1/24 → 5/31/27 |
Funding
- National Science Foundation (CCF-2412400)
SHF: Small: A Programming Language Ecosystem for Higher-Order Software Contracts
- Dimoulas, Christos (PD/PI)
Project: Research project