PhD Student in Computer Science
Writing and programming are two important parts of my life, maybe because they are very similar. In this small corner of the Internet, I gather my articles about computer science. I write mostly about Functional Programming Language, in particular Haskell and Coq.
Now that I have built my very own hammer, nothing looks like a nail anymore.
A PhD Student