Emmanuel Chailloux
Orcid: 0000-0002-2400-9523
According to our database1,
Emmanuel Chailloux
authored at least 40 papers
between 1992 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2024
Proceedings of the Practical Aspects of Declarative Languages, 2024
2023
J. Comput. Lang., November, 2023
Proceedings of the Logic-Based Program Synthesis and Transformation, 2023
Proceedings of the International Conference on Embedded Software, 2023
2022
Proceedings of the 30th IEEE Annual International Symposium on Field-Programmable Custom Computing Machines, 2022
2020
Proceedings of the VMIL@SPLASH 2020: Proceedings of the 12th ACM SIGPLAN International Workshop on Virtual Machines and Intermediate Languages, 2020
2019
Proceedings of the Formal Methods and Software Engineering, 2019
2017
Int. J. Parallel Program., 2017
Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2017
2016
Proceedings of the Resource Aware Computing, 2016
Proceedings of the 3rd International Workshop on Reactive and Event-Based Languages and Systems, 2016
2015
Proceedings of the 2nd ACM SIGPLAN International Workshop on Libraries, 2015
Proceedings of the Practical Aspects of Declarative Languages, 2015
2014
Proceedings of the ARRAY'14: Proceedings of the 2014 ACM SIGPLAN International Workshop on Libraries, 2014
Unification des couleurs dans un λ-calcul polychrome.
Proceedings of the 25. Journées francophones des langages applicatifs, 2014
2013
Proceedings of the 22nd International World Wide Web Conference, 2013
Proceedings of the Practical Aspects of Declarative Languages, 2013
2012
Parallel Process. Lett., 2012
Proceedings of the ACM SIGPLAN International Conference on Functional Programming, 2012
2010
Proceedings of the Fifth Workshop on Bytecode Semantics, 2010
2009
Experience report: using objective caml to develop safety-critical embedded tools in a certification framework.
Proceedings of the Proceeding of the 14th ACM SIGPLAN international conference on Functional programming, 2009
2008
Proceedings of the Practical Aspects of Declarative Languages, 2008
Proceedings of the ACM Workshop on ML, 2008, Victoria, BC, Canada, September 21, 2008, 2008
2007
2005
2004
Obj. Logiciel Base données Réseaux, 2004
Proceedings of the Actes de la Deuxieme Conference Internationale Associant Chercheurs Vietnamiens et Francophones en Informatique, 2004
2003
1997
Proceedings of the Proceedings 1997 IEEE Symposium on Visual Languages, 1997
1996
Benchmarking Implementations of Functional Languages with 'Pseudoknot', a Float-Intensive Benchmark.
J. Funct. Program., 1996
1994
Proceedings of the Sixth International Conference on Tools with Artificial Intelligence, 1994
1992
A Conservative Garbage Collector with Ambiguous Roots for Static Typechecking Languages.
Proceedings of the Memory Management, 1992