^ pierce, benjamin c. (1997). bounded quantification bottom . citeseerx 10.1.1.17.9230 .
^ griffin, timothy g. (1990). formulae-as-types notion of control . conf. record 17th annual acm symp. on principles of programming languages, popl 90, san francisco, ca, usa, 17-19 jan 1990. pp. 47–57.
^ section 4.1: kinds of types , values . java language specification (3rd ed.).
Comments
Post a Comment