Supporting Higher-Order Approaches to Symbolic Computati

Nadathur, Gopalan (PI)

Computer Science and Engineering

Project: Research project

Description

Supporting Higher-Order Approaches to Symbolic Computation

Status	Finished
Effective start/end date	9/1/04 → 8/31/09

Funding

THE NATIONAL SCIENCE FOUNDATION