Login / Signup
Locations and session types in a language with higher-order reflection.
Michael Tran
Alexander Rønning Bendixen
Bjarke Bredow Bojesen
Hans Hüttel
Stian Lasse Lybech
Published in:
AGERE!@SPLASH (2019)
Keyphrases
</>
higher order
lambda calculus
high order
language learning
natural images
programming language
natural language
pairwise
data sets
information systems
neural network
real time
objective function
website
markov random field
social networks
context dependent
specification language
formal language
predicate invention