Login / Signup

Safety at speed: in-place array algorithms from pure functional programs by safely re-using storage.

Markus AronssonKoen ClaessenMary SheeranNicholas Smallbone
Published in: FHPNC@ICFP (2019)
Keyphrases
  • functional programs
  • database
  • machine learning
  • knowledge base
  • database systems
  • data structure
  • integrity constraints