Login / Signup

Mechanizing Session-Types using a Structural View: Enforcing Linearity without Linearity.

Chuta SanoRyan KavanaghBrigitte Pientka
Published in: Proc. ACM Program. Lang. (2023)
Keyphrases
  • structural information
  • databases
  • data mining
  • evolutionary algorithm
  • neural network
  • machine learning
  • decision trees
  • pairwise
  • viewpoint
  • lower order