Sign in

Type-Checking Higher-Order Polymorphic Multi-Methods.

François BourdoncleStephan Merz
Published in: POPL (1997)
Keyphrases
  • higher order
  • type checking
  • preprocessing