Available Papers

• Operational and Axiomatic Semantics of PCF (LISP and Functional Programming '90; abstract)
  • DVI (44K)
  • Postscript (73K)
• Fixed Points and Extensionality in Typed Functional Programming Languages (Stanford Thesis; abstract)
  • DVI (183K)
  • Postscript (246K)
• Inductive, Projective, and Retractive Types (UPenn Tech Report; abstract)
  • DVI (70K)
  • Postscript (111K)
• Another Iteration on Darlington's ``A Synthesis of Several Sorting Algorithms'' (KSU Tech Report; abstract)
  • DVI (15K)
  • Postscript (36K)
• Fixpoint Computations and Coiteration (KSU Tech Report; abstract)
  • DVI (32K)
  • Postscript (67K)
• Inductive, Coinductive, and Pointed Types (International Conference on Functional Programming '96; abstract)
  • DVI (31K)
  • Postscript (57K)