Projects per year
Projects and Grants
- 13 Finished
Search results
-
Finished
SHF: Small: A Higher-Order Framework for Meta-Theoretic
THE NATIONAL SCIENCE FOUNDATION
7/1/16 → 9/30/22
Project: Research project
-
SHF: Small: A Higher-Order Framework for Meta-Theoretic Reasoning
7/1/16 → 9/30/22
Project: Research project
-
Midwest Verification Day, 2011
THE NATIONAL SCIENCE FOUNDATION
8/1/11 → 7/31/12
Project: Research project
-
-
-
SHF:Small: Reasoning about Specifications of Computation
THE NATIONAL SCIENCE FOUNDATION
6/1/09 → 9/30/14
Project: Research project
-
Supporting Higher-Order Approaches to Symbolic Computati
THE NATIONAL SCIENCE FOUNDATION
9/1/04 → 8/31/09
Project: Research project
-
-
-
-
-
-
Higher-Order Metalanguages for Implementing Derivation Systems
1/1/90 → 6/30/92
Project: Research project