• search
    search
  • reviewers
    reviewers
  • feeds
    feeds
  • assignments
    assignments
  • settings
  • logout

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