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.