: Computable semantics for differentiable programming with higher-order functions and datatypes.
Benjamin ShermanJesse MichelMichael CarbinPublished in: CoRR (2020)
Keyphrases
- higher order
- data types
- higher order logic
- abstract data types
- data structure
- high order
- pairwise
- formal semantics
- database systems
- low order
- conditional random fields
- database management systems
- programming language
- lower order
- logic programming
- markov random field
- data model
- programming language constructs
- semantic information
- object types
- functional language
- general purpose
- real world