Synergiën van probabilistisch logisch en functioneel programmeren

Dit project grijpt de kans aan voor kruisbevruchting door het beperkte wederzijdse bewustzijn van de twee gemeenschappen: met onze rijke ervaring in zowel probabilistisch logisch programmeren als in functioneel programmeren, benutten we de synergie tussen de twee takken in termen van semantiek, analyse, metaprogrammering en inferentie voor gemengde discrete / continue distributies.