Login / Signup

Generating Code with Polymorphic let: A Ballad of Value Restriction, Copying and Sharing.

Oleg Kiselyov
Published in: ML Family/OCaml (2015)
Keyphrases
  • information sharing
  • source code
  • static analysis
  • knowledge sharing
  • data sharing
  • error detection
  • computer vision
  • e learning
  • web services
  • learning environment