[Haskell-cafe] Variants of a recursive data structure

Klaus Ostermann ostermann at informatik.tu-darmstadt.de
Thu Aug 3 07:21:54 EDT 2006

Dear Matthias,

I did not choose your approach because I want the type system to enforce
that I have either completely labelled AST or completely unlabelled ASTs. 


More information about the Haskell-Cafe mailing list