Intrinsically-typed definitional interpreters for linear, session-typed languages.

Arjen Rouvoet Casper Bach Poulsen Robbert Krebbers Eelco Visser

Published in: CPP (2020)

Keyphrases

higher order
lambda calculus
databases
expressive power
fixed order
real time
information retrieval
website
image sequences
feature space
relational databases
language independent
language identification