Olivier Blanvillain

According to our database, Olivier Blanvillain authored at least 7 papers between 2014 and 2022.

Collaborative distances:

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

2022

Abstractions for Type-Level Programming.

Olivier Blanvillain

PhD thesis, 2022

Type-level programming with match types.

Olivier Blanvillain, Jonathan Immanuel Brachthäuser, Maxime Kjaer, Martin Odersky

Proc. ACM Program. Lang., 2022

Type-safe regular expressions.

Olivier Blanvillain

Proceedings of the Scala@ECOOP 2022: 13th ACM SIGPLAN Scala Symposium, 2022

2020

Coming to Terms with Your Choices: An Existential Take on Dependent Types.

Georg Stefan Schmid, Olivier Blanvillain, Jad Hamza, Viktor Kuncak

CoRR, 2020

2018

Simplicitly: foundations and applications of implicit function types.

Martin Odersky, Olivier Blanvillain, Fengyun Liu, Aggelos Biboudis, Heather Miller, Sandro Stucki

Proc. ACM Program. Lang., 2018

2015

A Scalable Approach to Harvest Modern Weblogs.

Vangelis Banos, Olivier Blanvillain, Nikos Kasioumis, Yannis Manolopoulos

Int. J. Artif. Intell. Tools, 2015

2014

BlogForever Crawler: Techniques and Algorithms to Harvest Modern Weblogs.

Olivier Blanvillain, Nikos Kasioumis, Vangelis Banos

Proceedings of the 4th International Conference on Web Intelligence, 2014