Dominic Orchard

Some accompanying lectures notes and resources for CO519 - Theory of Computing (Logic) at the School of Computing, University of Kent.

dorchard

Codo notation for programming with comonads in Haskell

dorchard

Provides 'graded monads' and 'parameterised monads' to Haskell, enabling fine-grained reasoning about effects.

dorchard

"Programs that explain their effects" talk material

dorchard

Formalised embedding of an imperative language with effect system into session-typed pi calculus.

dorchard

Navier-Stokes fluid simulation in various languages (C, Fortran, and Haskell using Repa)

dorchard

Type-level sets for Haskell (with value-level counterparts and various operations)

dorchard