Registered user since Tue 10 Jul 2018
Name: Paolo Baldan
Contributions
| POPL 2019 | Author of Fixpoint Games on Continuous Lattices within the Research Papers-track | ||||||||||||||||||||||||||||||||||||||||
| Show activities from other conferences | |||||||||||||||||||||||||||||||||||||||||
Using general profile
POPL 2019
Sun 13 - Sat 19 January 2019 Cascais/Lisbon, Portugal
- Attending
- Program
- Tracks
- Co-hosted Conferences
- CPP
- VMCAI
- Co-hosted Workshops
- BEAT
- CoqPL
- LAFI (né PPS)
- OPCT
- Off the Beaten Track
- PEPM
- PLMW @POPL
- PriSC
- Co-hosted Symposiums
- PADL
- Organization
- Search
- Series