Program Representation Size in an Intermediate Language with Intersection and Union Types.
Allyn DimockIan WestmacottRobert MullerFranklyn A. TurbakJ. B. WellsJeffrey ConsidinePublished in: Types in Compilation (2000)
Keyphrases
- representation language
- computer programs
- logical representation
- neural network
- language learning
- conceptual graphs
- intermediate level
- structured representation
- programming language
- language processing
- programming environment
- functional programs
- semantically equivalent
- highly expressive
- declarative semantics
- program execution
- logic programming language
- representation scheme
- feature representation
- image representation
- machine learning