Login / Signup

Type-Directed Operational Semantics for Gradual Typing (Artifact).

Wenjia YeBruno C. d. S. OliveiraXuejing Huang
Published in: Dagstuhl Artifacts Ser. (2021)
Keyphrases
  • operational semantics
  • formal semantics
  • data model
  • mental states
  • agent programming
  • denotational semantics
  • database
  • cooperative
  • expert systems
  • mobile robot
  • natural language processing
  • black box
  • model theoretic