Lexically-scoped type variables

January 2002Lexically-scoped type variablesLexically scoped type variables

This paper compares two alternative designs for scoped type variables and explains the feature as it was implemented in GHC 4.02.

Authors: Simon Peyton Jones and Mark Shields

Join Type Classes for courses and projects to get you started and make you an expert in FP with Haskell.