Available Papers
- Operational and Axiomatic Semantics of PCF (LISP and Functional
Programming '90; abstract)
- Fixed Points and Extensionality in Typed Functional Programming
Languages (Stanford Thesis; abstract)
- Inductive, Projective, and Retractive Types (UPenn Tech Report;
abstract)
- Another Iteration on Darlington's ``A Synthesis of Several Sorting
Algorithms'' (KSU Tech Report; abstract)
- Fixpoint Computations and Coiteration (KSU Tech Report;
abstract)
- Inductive, Coinductive, and Pointed Types (International Conference
on Functional Programming '96; abstract)
Brian Howard
(bhoward@cis.ksu.edu)