Login / Signup
Intrinsically-typed definitional interpreters for imperative languages.
Casper Bach Poulsen
Arjen Rouvoet
Andrew Tolmach
Robbert Krebbers
Eelco Visser
Published in:
Proc. ACM Program. Lang. (2018)
Keyphrases
</>
expressive power
language independent
description language
higher order
question answering
description languages
databases
virtual machine
cross lingual
lambda calculus
real time
arabic language
representation language
text summarization
operating system
data structure
high level
case study
decision trees
data sets