• Sign in
  • Sign up
conf.researchr.org / Angelika Kimmig
  • POPL 2016 profile
  • POPL 2017 profile

Not registered as user

Name:Angelika Kimmig
Affiliation:KU Leuven
Personal website: https://people.cs.kuleuven.be/~angelika.kimmig/

Contributions

2017

LAFI

  • Author of Probabilistic logic programs: unifying program trace and possible world semantics within the PPS-track

2016

LAFI

  • Panelist of Implementor Panel: What can semantics do for probabilistic programming and what can probabilistic programming do for semantics? within the PPS 2016-track
Share
xSat 11 Apr 10:55
using conf.researchr.org (v1.73.2)
Support page
Sign Up