Malo Revel

According to our database, Malo Revel authored at least 2 papers between 2023 and 2026.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2026

Complete Abstractions for Verification of Polymorphic Functions with Equality.

Malo Revel, Thomas Genet, Thomas P. Jensen

Proceedings of the Programming Languages and Systems, 2026

2023

Extracting ODRL Digital Right Representations from License Texts using AMR.

Malo Revel, Aurélien Lamercerie, Annie Foret, Zoltán Miklós

Proceedings of the 6th Workshop on Automated Semantic Analysis of Information in Legal Text co-located with the 19th International Conference on Artificial Intelligence and Law (ICAIL 2023), 2023