Automatic Alignment in Higher-Order Probabilistic Programming Languages.
Daniel LundénGizem ÇaylakFredrik RonquistDavid BromanPublished in: ESOP (2023)
Keyphrases
- programming language
- lambda calculus
- higher order
- general purpose
- object oriented
- high level
- logic programming
- pairwise
- software engineering
- denotational semantics
- database languages
- specification language
- programming environment
- object oriented programming
- computer programs
- strongly typed
- machine learning
- program code
- functional language
- object oriented concepts
- database systems