Registered user since Tue 11 Dec 2018
Name: Fabian Immler
Contributions
| CPP 2019 | Author of Smooth Manifolds and Types to Sets for Linear Algebra in Isabelle/HOL within the CPP 2019-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