F sub

From POPLmark

Jump to: navigation, search

The language F sub is usually written with the notation F < : or {\mathbb{F}_{\leq}} but MediaWiki does not seem to like pages named with math.

F sub is an extension of the System F, also known as the polymorphic λ-calculus, with subtyping.

We should fill in the grammar, operational and static semantics here.

Retrieved from "http://alliance.seas.upenn.edu/~plclub/cgi-bin/poplmark/index.php?title=F_sub"