Login / Signup

Behavioural Equivalence via Modalities for Algebraic Effects.

Alex SimpsonNiels F. W. Voorneveld
Published in: ACM Trans. Program. Lang. Syst. (2020)
Keyphrases
  • real time
  • search engine
  • medical images
  • data sets
  • databases
  • real world
  • machine learning
  • feature selection
  • data structure
  • relational databases
  • special case
  • individual differences
  • computer based instruction