Behavioural Types: Bridging Theory and Practice (Dagstuhl Seminar 21372).

Mariangiola Dezani Roland Kuhn Sam Lindley Alceste Scalas

Published in: Dagstuhl Reports (2021)

Keyphrases

theoretical framework
theoretical basis
real world
bayesian networks
digital libraries
theoretical foundation
learning algorithm
decision trees
case study
information theory
belief functions
general theory
theoretical insights