Login / Signup

Intersection types for explicit substitutions.

Stéphane LengrandPierre LescanneDaniel J. DoughertyMariangiola Dezani-CiancagliniSteffen van Bakel
Published in: Inf. Comput. (2004)
Keyphrases
  • special case
  • trade off
  • data sets
  • genetic algorithm
  • clustering algorithm