Gradual Guarantee for FJ with lambda-Expressions.

Pedro Ângelo Viviana Bono Mariangiola Dezani-Ciancaglini Mário Florido

Published in: FTfJP@ECOOP (2023)

Keyphrases

facial expressions
fixed point
natural language
management system
data mining
data structure
real time
databases
information retrieval
learning algorithm
knowledge base
image processing
image sequences
reinforcement learning
object recognition
special case