Joost-Pieter Katoen - PADL

Mon 18 - Tue 19 January 2016 St. Petersburg, Florida, United States

co-located with POPL 2016

Registered user since Sat 2 Feb 2019

Name:Joost-Pieter Katoen

Affiliation:RWTH Aachen University

Contributions

2016

LAFI

On The Semantic Intricacies of Conditioning

Show activities from other conferences

POPL 2016-profile
View general profile