Checking equivalence in a non-strict language.
John C. KolesarRuzica PiskacWilliam T. HallahanPublished in: Proc. ACM Program. Lang. (2022)
Keyphrases
- programming language
- language learning
- web services
- neural network
- language acquisition
- natural language
- specification language
- representation language
- general purpose
- operational semantics
- target language
- language processing
- data exchange
- natural language processing
- knowledge representation
- expert systems
- information systems
- machine learning