Login / Signup
Pilsner: a compositionally verified compiler for a higher-order imperative language.
Georg Neis
Chung-Kil Hur
Jan-Oliver Kaiser
Craig McLaughlin
Derek Dreyer
Viktor Vafeiadis
Published in:
ICFP (2015)
Keyphrases
</>
higher order
programming language
lambda calculus
natural images
high order
language learning
general purpose
markov random field
multiscale
constraint language
language processing
object oriented programming
transactional memory
database
specification language
logic programming
pairwise
natural language
high level