-
Products and sums, named and anonymous
- April 10, 2021
-
Type checking with Prolog
- June 13, 2013
-
Implicit casts
- May 25, 2013
-
On typing dynamic langs
- April 19, 2013
-
Internship report - type inference, row polymorphism, and multi-stage programming
- April 15, 2013
-
Rowlar, kindlar ve tip çıkarımı hakkında öylesine bir yazı
- February 15, 2013