|
FLOPS 2020: 15TH INTERNATIONAL SYMPOSIUM ON FUNCTIONAL AND LOGIC PROGRAMMING
TALK AUTHOR INDEX
A | Accattoli, Beniamino | | B | Bucciarelli, Antonio | | C | Chiang, Tsung-Ju | | Chlipala, Adam | | Cimini, Matteo | | D | Díaz-Caro, Alejandro | | F | Fortz, Sophie | | G | Glück, Robert | | H | Hainry, Emmanuel | | Hamana, Makoto | | Hu, Zhenjiang | | I | Imai, Keigo | | K | Kameyama, Yukiyoshi | | Kesner, Delia | | Kimura, Daisuke | | Kiselyov, Oleg | | M | Mazza, Damiano | | Mesnard, Fred | | Mourad, Benjamin | | Mu, Shin-Cheng | | N | Nakazawa, Koji | | Nguyễn Trọng, Bách | | O | Okura, Rui | | P | Payet, Etienne | | Perrouin, Gilles | | Péchoux, Romain | | R | Rios, Alejandro | | S | Saotome, Kenji | | T | Tsushima, Kanae | | V | Vanhoof, Wim | | Vidal, German | | Viso, Andrés Ezequiel | | Voigtländer, Janis | | W | Westphal, Oliver | |
|
|