POPL 2017
Sun 15 - Sat 21 January 2017
POPL 2017 (series) / Tom Schrijvers
Tom Schrijvers

Registered user since Mon 10 Feb 2020

Name: Tom Schrijvers

Affiliation: KU Leuven

Personal website: http://people.cs.kuleuven.be/~tom.schrijvers

Contributions

PPS 2017Author of ProbLog and applicative probabilistic programming within the PPS-track
TTT 2017Author of Needle & Knot: A Framework for Meta-Theoretical Specifications with Binding within the TTT-track
Show activities from other conferences

POPL 2017-profile
View general profile