\mathsf CoreFun : A Typed Functional Reversible Core Language.

Petur Andrias Højgaard Jacobsen Robin Kaarsgaard Michael Kirkedal Thomsen

Published in: RC (2018)

Keyphrases

lambda calculus
programming language
language learning
functional language
language processing
higher order
markov chain
natural language
databases
real time
specification language
functional analysis
machine learning
information systems
information retrieval
linguistic knowledge
fixed order