Name: Anonymous 2016-10-04 22:08
Is the most important part of a compiler the lexer, or the parser?
Core is a very small, explicitly-typed, variant of System F. The exact variant is called System FC, which embodies equality constraints and coercions.