# Iavor S. Diatchki

I am a research and development engineer at Galois Inc. My academic interests lie in the area of programming-language design and implementation, functional programming, and type systems.

## Links

- Publications---a list of my publications.
- monadLib---a library of monad transformers.
- CIV in Isabelle---an exercise in using the Isablle theorem prover.
- Haskell in LaTeX---A note about literate Haskell scripts that are LaTeX articles.
- Functor instance for Vectors
---A note about how to define a
`Functor`

instance for vectors that keep track of the size in the type system. The special thing about this instance is that it will be "unrolled" by GHC using dictionary specialization.