Arie Middelkoop

Ph.D. Page of Arie Middelkoop

Thesis outline

Attribute grammars

Unifying type inference strategies

Mixing explicit and implicit information

Type-based analyses

Dealing with compiler variants

The ever increasing TODO-list

• GADTs
• AG manual
• AG feature request: disabling copy rule mechanism at particular places in the AST
• Educational work for the Software Engineering Course

Ideas

• Rewrite rules for copy rules
  • example: collect vs threading
  • ghc rewrite rules and rewrite machinery on attribute level

-- ArieMiddelkoop - 06 Sep 2007