Tealeaves: Structured Monads for Generic First-Order Abstract Syntax Infrastructure.
Lawrence DunnVal TannenSteve ZdancewicPublished in: ITP (2023)
Keyphrases
- high level
- predicate calculus
- first order logic
- higher order
- low level
- structured data
- domain specific
- database
- databases
- quantifier elimination
- higher level
- information extraction
- real world
- programming language
- building blocks
- natural language
- web services
- computing environments
- information exchange
- artificial intelligence
- definition language
- stochastic dominance