Further reading on System F can be found in Reynolds's introductory article (1990) and his Theories of Programming Languages (1998b).