- The interfaces of libraries in functional programming http://www.alpheccar.org/content/104.html 22 comments haskell
- In depth comparison of the APIs of iOS 5 and Ice Cream Sandwich http://www.alpheccar.org/content/95.html 76 comments programming
- Galois Connections (no, not that Galois) http://www.alpheccar.org/en/posts/show/32 4 comments haskell
- Haskell Study Guide http://www.alpheccar.org/en/posts/show/67 7 comments programming
- A Fashion Magazine in Haskell http://www.alpheccar.org/en/posts/show/91 11 comments programming
- The best programming languages - lt is a system which is allowing the developer to think freely but freely does not mean without method and rigor. http://www.alpheccar.org/en/posts/show/36 18 comments programming
- A Web Monad http://www.alpheccar.org/en/posts/show/87 49 comments programming
- Category theory and Haskell http://www.alpheccar.org/en/posts/show/76 7 comments programming
- Category Theory and the category of Haskell programs http://www.alpheccar.org/en/posts/show/74 4 comments programming
- Haskell: Preventing irreversible updates from HTTP GET with types http://www.alpheccar.org/en/posts/show/73 15 comments programming
- Coq : back to basics http://www.alpheccar.org/en/posts/show/71 3 comments programming
- A Haskell Study Plan http://www.alpheccar.org/en/posts/show/67 20 comments programming
- Colorized lambdabot for Windows http://www.alpheccar.org/en/posts/show/59 6 comments programming