[Haskell] Abstract syntax representation

paolot at informatik.uni-bremen.de paolot at informatik.uni-bremen.de
Thu Oct 11 08:55:50 EDT 2007


Hi,

I am writing translations of Haskell to specification languages. I was  
wondering whether
there already exist a representation of Haskell syntax that, in  
contrast with standard
abstract syntax, is "light" on structure (few data-types, few  
constructors) and has no
dictionary parameters.

Thanks,
-paolo



More information about the Haskell mailing list