Texts | Code | Assignments |
CS 629 Advanced Topics in Programming Language Research(Spring 2004) |
Office | Office Hours | |
---|---|---|
Paul Hudak | 308 AKW | TBA |
Carsten Schürmann | 312 AKW | drop by |
Valery Trifonov | 304 AKW | drop by |
sources.cfg, prop-calc.elf,
ndclass.elf, thm1.elf, thm2.elf, thm3.elf
propcalc.v
.coqtop
and enter Load
"propcalc.v".
at the prompt.)