Login / Signup

Recursive Polymorphic Types and Parametricity in an Operational Framework.

Paul-André MellièsJerome Vouillon
Published in: LICS (2005)
Keyphrases
  • main contribution
  • lightweight
  • artificial intelligence
  • knowledge base
  • conceptual framework
  • computational framework
  • framework enables