Graph IRs for Impure Higher-Order Languages (Technical Report).
Oliver BracevacGuannan WeiSonglin JiaSupun AbeysingheYuxuan JiangYuyan BaoTiark RompfPublished in: CoRR (2023)
Keyphrases
- technical report
- higher order
- higher order relations
- graph theory
- high order
- natural images
- random walk
- pairwise
- expressive power
- graph structure
- graph representation
- structured data
- directed graph
- graph model
- language independent
- lambda calculus
- cross lingual
- graph based algorithm
- lower order
- bipartite graph
- markov random field
- query translation
- graph clustering
- grammatical inference
- language identification
- undirected graph
- databases
- rewriting systems
- bayesian networks