Skip to main navigation
Skip to search
Skip to main content
Northwestern Scholars Home
Help & FAQ
Home
Experts
Organizations
Research Output
Grants
Core Facilities
Research Data
Search by expertise, name or affiliation
SHF: Small: A Programming Language Ecosystem for Higher-Order Software Contracts
Dimoulas, Christos
(PD/PI)
Computer Science
Project
:
Research project
Overview
Project Details
Status
Active
Effective start/end date
6/1/24
→
5/31/27
Funding
National Science Foundation
(CCF-2412400)
View all
View less