Unfortunately I think the project of a paper per day is a but unrealistic since I also want to have a life outside the box. So I’ve decided to post as I’m reading the papers with the promise of at least write about a paper a week. Today’s paper is Haskell Session Types with (Almost) [...]
Archive for the ‘Papers’ Category
Haskell Session Types with (Almost) No Class
Posted in Computer Science, Haskell, Papers, Programming Languages, tagged Haskell, Pi-Calculus, type sessions on November 24, 2010 | Leave a Comment »
Supercompilation by Evaluation and Rethinking Supercompilation
Posted in Compilers, Computer Science, Haskell, Papers, tagged Compiler Optimisation, Compilers, Functional Programming, GHC, Haskell, Max Bolingbroke, Neil Mitchell, Simon Peyton Jones, Supercompilation on November 19, 2010 | Leave a Comment »
Today’s topic is supercompilation! I read two papers to get the general idea of a supercompilation is and does: Supercompilation by Evaluation, Max Bolingbroke and Simon Peyton Jones. Rethinking Supercompilation, Neil Mitchell As a definition of a supercompilation I quote Turchin: A supercompiler is a program transformer of a certain type. It traces the possible [...]
A small survey on testing Haskell programs (part 0)
Posted in Computer Science, Haskell, Papers, Testing, tagged Functional Programming, Haskell, HPC, QuickCheck, SmallCheck, Test on November 17, 2010 | Leave a Comment »
Last year I read most of the Fun of Programming which is quite a cool book (kind of a real world haskell type of book) although some of the chapters are outdated. It was the first time I really took a closer look into QuickCheck as a testing tool for Haskell since one of the [...]
Combining Syntactic and Semantic Bidirectionalization
Posted in Haskell, Papers, Programming Languages, tagged Bidirectionalization, Programming Languages, Programming Techniques on November 17, 2010 | Leave a Comment »
I’ve decided to start a 365 project which consists on reading a paper per day and then make a small post about it. Unfortunately, I don’t think I will have much time to dive into all the papers, but at least it will serve as a reference for all the papers that I read and [...]
