Login / Signup
Recursive Polymorphic Types and Parametricity in an Operational Framework.
Paul-André Melliès
Jerome Vouillon
Published in:
LICS (2005)
Keyphrases
</>
main contribution
lightweight
artificial intelligence
knowledge base
conceptual framework
computational framework
framework enables