2nd Challenge, Ultimate Compiler Championship

This page will be updated:
However to get you started with well-formedness and type checking have a look at the following
  • OCaml1 Type checking, from zero to hero!
  • Bindings1 Candidate extension to the module system, allowing to implement -cOOre objects by means of -core code.
  • Bindings2 Static (singleton) objects and a discussion on state constructor code.

Last edited Oct 7, 2014 at 6:55 AM by RTFMPerLindgren, version 3