In proceedings details

  • Polymorphic higher-order unification for logic programming
  • Jan 1994
  • MIT Press
  • Luis Caires, Luís Monteiro
  • 0
  • 0 to 0
  • 1 Jan 1994