Publications

Type inclusion constraints and type inference

• • Alexander Aiken
  • Edward L. Wimmers
• 1993
• FPCA 1993