ML Polymorphism of Linear Lambda Calculus with First-class Continuations.

Shin-ya Nishizaki

Published in: ICSCA (2019)

Keyphrases

lambda calculus
maximum likelihood
programming language
databases
general purpose
data structure
pairwise
program understanding
database query languages