Deconfined Intersection Types in Java.

Mariangiola Dezani-Ciancaglini Paola Giannini Betti Venneri

Published in: Gabbrielli's Festschrift (2020)

Keyphrases

lightweight
programming language
database
neural network
data model
source code
evolutionary algorithm
control system
java programs