Compiling a Subset of APL Into a Typed Intermediate Language.

Martin Elsman Martin Dybdal

Published in: ARRAY@PLDI (2014)

Keyphrases

lambda calculus
programming language
language learning
higher order
natural language
intermediate level
formal language
english language
website
case study
expert systems
data model
database
knowledge base
conceptual graphs
computational linguistics
specification language
predicate calculus
data sets