Not registered as user yet
Name: Naohiko Hoshino
Affiliation: Kyoto University
Contributions
| LAFI 2019 | Author of The Geometry of Bayesian Programming within the LAFI (né PPS)-track | ||||||||||||||||||||||||||||||||||||||||
| Show activities from other conferences | |||||||||||||||||||||||||||||||||||||||||
Using general profile
POPL 2019
Sun 13 - Sat 19 January 2019 Cascais, 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