A "Simple Language" SL_XTI (SL + eXtended Type Inference) compiler focusses on implementing and experimenting with functional language features like type system, data types, and type classes.
- Code generation
- Dictionaries for class instances
- Performance comparison with other type inference implementations
Contact: Atze Dijkstra
Further info: see here