William J. Bowman
Results
8
repositories owned by
William J. Bowman
cic-redex
32
Stars
2
Forks
Watchers
A Redex model of CIC as specified in Chapter 4 of the Coq reference manual.
dissertation
30
Stars
1
Forks
Watchers
The source for "Compiling with Dependent Types" (my dissertation)
multi-lang-comp
16
Stars
1
Forks
Watchers
a compiler from a lambda language to an assembly language, as a rewrite system