Polymorphic Type Inference for Dynamic Languages.
Giuseppe CastagnaMickaël LaurentKim NguyenPublished in: Proc. ACM Program. Lang. (2024)
Keyphrases
- type checking
- grammatical inference
- expressive power
- bayesian inference
- database query languages
- dynamic environments
- neural network
- bayesian networks
- first order logic
- belief networks
- probabilistic inference
- programming language
- cross lingual
- language independent
- efficient learning
- image sequences
- object oriented languages
- database