Paul Hudak
Constraint Objective CAML Scheduling access control answer set programming dataflow analysis decision support systems declarative languages declarative programming functional progra functional programming logic object oriented design programming programming language