Coq en Stock
I am Valentin Robert. I graduated with a PhD from University of California, San Diego in December 2018. Since then, I have been working as a research engineer for Galois, Inc. Opinions expressed on this blog are my own, and do **not** represent the views of my current or past employers.
This blog is most likely about functional programming and formal verification.
- WriterT: aggregating data upwards silently
- My current Nix setup for Haskell development (April 2020)
- Deep dive into Meta-Theory à la Carte (part 3)
- Deep dive into Meta-Theory à la Carte (part 2)
- Deep dive into Meta-Theory à la Carte (part 1)
- Parser generators and function application
- Nameless tactic programming using HaysTac
- Modular parser combinators
- Introducing PeaCoq
- Matrix traversals and unification
© 2024 Coq en Stock ― Powered by Jekyll and Textlog theme