SHF: Small: A Programming Language Ecosystem for Higher-Order Software Contracts

Project: Research project

Project Details

StatusActive
Effective start/end date6/1/245/31/27

Funding

  • National Science Foundation (CCF-2412400)