Programming language semantics: operational semantics frameworks, logical relations, lambda definability, full abstraction and the relationship between operational and denotational semantics, models of the applied typed lambda calculus PCF.
Functional programming: ML, Concurrent ML, eXene, pretty printing, programming methodology.
Formal language theory: I'm building a toolset (written in ML) for experimenting with formal languages, and writing a textbook on formal language theory that is based on this toolset.
Logic: proof search and countermodel generation for intuitionistic propositional logic.
The Forlan Project consists of a toolset for experimenting with formal languages, a draft textbook entitled Formal Language Theory: Integrating Experimentation and Proof, and associated lecture slides, all released under free software/documentation licenses.
I am leading a group at K-State that is continuing the development of eXene, Gansner and Reppy's multi-threaded, higher-order user-interface toolkit for the X window system.
|
|
|