Polymorphic Type Inference for Dynamic Languages.
Giuseppe CastagnaMickaël LaurentKim NguyenPublished in: CoRR (2023)
Keyphrases
- type checking
- object oriented languages
- grammatical inference
- bayesian networks
- database query languages
- databases
- expressive power
- data types
- real time
- cross lingual
- neural network
- probabilistic model
- natural language
- information systems
- social networks
- query translation
- dynamically changing
- artificial intelligence
- information retrieval
- database