A Haskell based Generalized LR Parser Generator and Grammar Interpreter

Strictification and Slicing of lazy Circular Haskell Programs

Strictification of lazy Circular Ocaml Programs