Personal information
Activities
Employment (2)
2022-01-01
to
present
|
Researcher
Employment
Source:
Armaël Guéneau
2020-01-01
to
2021-12-31
|
Post-doc
Employment
Source:
Armaël Guéneau
Works (5)
Journal of the ACM
2024-02-29
|
Journal article
Contributors:
Aïna Linn Georges;
Armaël Guéneau;
Thomas Van Strydonck;
Amin Timany;
Alix Trieu;
Dominique Devriese;
Lars Birkedal
Source:
check_circle
Crossref
Proceedings of the ACM on Programming Languages
2024-01-05
|
Journal article
Contributors:
Amin Timany;
Armaël Guéneau;
Lars Birkedal
Source:
check_circle
Crossref
Proceedings of the ACM on Programming Languages
2024-01-05
|
Journal article
Contributors:
François Pottier;
Armaël Guéneau;
Jacques-Henri Jourdan;
Glen Mével
Source:
check_circle
Crossref
Proceedings of the ACM on Programming Languages
2023-10-16
|
Journal article
Contributors:
Armaël Guéneau;
Johannes Hostert;
Simon Spies;
Michael Sammler;
Lars Birkedal;
Derek Dreyer
Source:
check_circle
Crossref
Proceedings of the ACM on Programming Languages
2021-08-22
|
Journal article
Contributors:
Lars Birkedal;
Thomas Dinsdale-Young;
Armaël Guéneau;
Guilhem Jaber;
Kasper Svendsen;
Nikos Tzevelekos
Source:
check_circle
Crossref