Login / Signup

An Extension of System F with Subtyping.

Luca CardelliSimone MartiniJohn C. MitchellAndre Scedrov
Published in: TACS (1991)
Keyphrases
  • genetic algorithm
  • efficient implementation