Sign in

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

Arjen RouvoetCasper Bach PoulsenRobbert KrebbersEelco 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