Login / Signup

Synthetic Behavioural Typing: Sound, Regular Multiparty Sessions via Implicit Local Types (Pearl/Brave New Idea).

Sung-Shik JongmansFrancisco Ferreira
Published in: ECOOP (2023)
Keyphrases
  • multi party
  • privacy preserving
  • secret sharing
  • human communication
  • audio video
  • real world
  • artificial intelligence
  • web services
  • search algorithm
  • intelligent agents
  • mental states
  • turn taking