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

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