Category: Programming Languages 2014 Using unsafeInterleaveIO to lift haskell's lazy semantics into a toy interpreter Dec 08 2014 Partial evaluation of fat languages Apr 28 2014