Assertion: haskell compiler | /r/CapableOf | support extended type system
Facets:
Source sentences:
text: The Glasgow Haskell Compiler supports an extended type system based on the theoretical System F C .