by Abel, Andreas, Scherer, Gabriel
Published in Logical methods in computer science (01.01.2012)

by Lindley, Sam, Scherer, Gabriel
Published in Electronic proceedings in theoretical computer science (16.05.2019)

by Chataing, Nicolas, Dolan, Stephen, Scherer, Gabriel, Yallop, Jeremy
Published in Proceedings of ACM on programming languages (05.01.2024)

by Reynaud, Alban, Scherer, Gabriel, Yallop, Jeremy
Published in Proceedings of ACM on programming languages (04.01.2021)

by Allain, Clément, Clément, Basile, Moine, Alexandre, Scherer, Gabriel
Published in Proceedings of ACM on programming languages (15.08.2024)

by Koppel, James, Scherer, Gabriel, Solar-Lezama, Armando
Published in Proceedings of ACM on programming languages (01.09.2018)

by Munch-Maccagnoni, Guillaume, Scherer, Gabriel
Published in 2015 30th Annual ACM/IEEE Symposium on Logic in Computer Science (01.07.2015)

by Bour, Frédéric, Refis, Thomas, Scherer, Gabriel
Published in Proceedings of ACM on programming languages (30.07.2018)

by Koppel, James, Scherer, Gabriel, Solar-Lezama, Armando
Published in Proceedings of ACM on programming languages (30.07.2018)

by Flückiger, Olivier, Scherer, Gabriel, Yee, Ming-Ho, Goel, Aviral, Ahmed, Amal, Vitek, Jan
Published in Proceedings of ACM on programming languages (01.01.2018)

by Scherer, Gabriel, Hoffmann, Jan
Published in Logic for Programming, Artificial Intelligence, and Reasoning

by Ouedraogo, Wendlasida, Scherer, Gabriel, Strassburger, Lutz
Published in arXiv.org (21.06.2023)

by Scherer, Gabriel
Year of Publication 04.10.2016

by Courant, Nathanaëlle, Lepiller, Julien, Scherer, Gabriel
Published in The Art, Science, and Engineering of Programming (18.02.2022)

by Lindley, Sam, Scherer, Gabriel
Published in arXiv.org (15.05.2019)

by Chataing, Nicolas, Dolan, Stephen, Scherer, Gabriel, Yallop, Jeremy
Year of Publication 13.11.2023

by Scherer, Gabriel, Rémy, Didier
Published in Programming Languages and Systems

by Courant, Nathanaëlle, Lepiller, Julien, Scherer, Gabriel
Published in arXiv.org (18.02.2022)

by Ouedraogo, Wendlasida, Scherer, Gabriel, Strassburger, Lutz
Published in The Art, Science, and Engineering of Programming (15.06.2023)

by Bour, Frédéric, Clément, Basile, Scherer, Gabriel
Year of Publication 19.02.2021