Gabriel's software development blog
Software surgery, programming, architecture, process, development, design, and more...
9/8/12
Phantom types in Java
›
Introduction One of the things that I like about types in programming languages is that they're there to help you (although sometimes f...
60 comments:
4/6/12
A (purely functional) Turing Machine simulator in Scala
›
Why? While preparing for the exam for a Language Theory course I took, I have many exercises requiring to draw turing machines. Ha...
66 comments:
›
Home
View web version