SLCompiler

Bachelor
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.

Project examples:

  • Code generation
  • Dictionaries for class instances
  • Performance comparison with other type inference implementations

Contact: Atze Dijkstra

Further info: see here.