• Aster: Automatic abstract syntax 

      Barman, Shaon (2009-05)
      Modern parser generators typically require two components: an abstract syntax data structure and a concrete syntax grammar specification. Usually the abstract syntax and the concrete syntax are closely related but are ...
    • Exploring universe polymorphism in Omega 

      Brown, Jonathon Daniel (2006-05-05)
      Ωmega extends Haskell with novel features for practical functional programming: GADT's, extensible kinds, and type functions. With both extensible types and extensible kinds in place, there is a tendency for redundant ...