𝜆ₛ: computable semantics for differentiable programming with higher-order functions and datatypes.
Benjamin ShermanJesse MichelMichael CarbinPublished in: Proc. ACM Program. Lang. (2021)
Keyphrases
- higher order
- data types
- higher order logic
- high order
- data model
- programming language
- conceptual model
- data structure
- abstract data types
- database management systems
- database systems
- semantic information
- functional language
- markov random field
- pairwise
- conditional random fields
- machine learning
- object oriented programming
- programming course
- object types
- image segmentation