Status of the Programatica Haskell front-end

Talk by Thomas Hallgren, October 26th, 2001


Status of the Programatica Haskell front-end
Overall status
Abstract syntax
Structure, old version
Recursion, old version
Notes on extensibility
Structure, current version
Recursion, current version
The price of abstracting away from the type of identifiers
Generalizing a type class
Hiding the extra tagging
Hiding the extra tagging, current version
Parsing Haskell, problems
Parsing Haskell, solutions
Using the Haskell parser
Static analysis
Free names
Strongly connected components
Type checking, overview
Types used in the type checker
Type Inference Monad
Generic Unification