Olivier Blanvillain

Publication Activity (10 Years)

Years Active: 2014-2022
Publications (10 Years): 4

Top Topics

Special Features

Deterministic Finite Automata

Regular Expressions

Top Venues

Proc. ACM Program. Lang.

Publications

Olivier Blanvillain, Jonathan Immanuel Brachthäuser, Maxime Kjaer, Martin Odersky
Type-level programming with match types. Proc. ACM Program. Lang. 6 (POPL) (2022)
Olivier Blanvillain
Type-safe regular expressions. SCALA@ECOOP (2022)
Georg Stefan Schmid, Olivier Blanvillain, Jad Hamza, Viktor Kuncak
Coming to Terms with Your Choices: An Existential Take on Dependent Types. CoRR (2020)
Martin Odersky, Olivier Blanvillain, Fengyun Liu, Aggelos Biboudis, Heather Miller, Sandro Stucki
Simplicitly: foundations and applications of implicit function types. Proc. ACM Program. Lang. 2 (POPL) (2018)
Vangelis Banos, Olivier Blanvillain, Nikos Kasioumis, Yannis Manolopoulos
A Scalable Approach to Harvest Modern Weblogs. Int. J. Artif. Intell. Tools 24 (2) (2015)
Olivier Blanvillain, Nikos Kasioumis, Vangelis Banos
BlogForever Crawler: Techniques and Algorithms to Harvest Modern Weblogs. WIMS (2014)