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.