Publications

Static type inference in a dynamically typed language

• • Alexander Aiken
  • Brian R. Murphy
• 1991
• POPL 1991