conf.researchr.org / Thomas Seiller
Registered user since Thu 2 Aug 2018
Contributions
2023
2019
DICE-FOPARA
- Author of PRAMs over integers do not compute maxflow efficiently within the DICE-FOPARA-track
- Author of Finite semantics of polymorphism, complexity and the power of type fixpoints within the DICE-FOPARA-track
- Session Chair of V (part of DICE-FOPARA)
- Chair in Program Committee within the DICE-FOPARA-track