Follow
Olivier Blanvillain
Olivier Blanvillain
Verified email at epfl.ch
Title
Cited by
Cited by
Year
Simplicitly: Foundations and applications of implicit function types
M Odersky, O Blanvillain, F Liu, A Biboudis, H Miller, S Stucki
Proceedings of the ACM on Programming Languages 2 (POPL), 1-29, 2017
512017
Type-level programming with match types
O Blanvillain, JI Brachthäuser, M Kjaer, M Odersky
Proceedings of the ACM on Programming Languages 6 (POPL), 1-24, 2022
192022
Blogforever crawler: techniques and algorithms to harvest modern weblogs
O Blanvillain, N Kasioumis, V Banos
Proceedings of the 4th International Conference on Web Intelligence, Mining …, 2014
102014
Abstractions for Type-Level Programming
OEP Blanvillain
EPFL, 2022
32022
Simplicitly
M Odersky, A Biboudis, F Liu, O Blanvillain, H Miller
Technical Report, 2017
32017
Coming to Terms with Your Choices: An Existential Take on Dependent Types
GS Schmid, O Blanvillain, J Hamza, V Kunčak
arXiv preprint arXiv:2011.07653, 2020
12020
Foundations of implicit function types
M Odersky, A Biboudis, F Liu, O Blanvillain
12017
Type-safe regular expressions
O Blanvillain
Proceedings of the Scala Symposium, 1-8, 2022
2022
A Scalable Approach to Harvest Modern Weblogs
V Banos, O Blanvillain, N Kasioumis, Y Manolopoulos
International Journal on Artificial Intelligence Tools 24 (2), 1540005, 2015
2015
Parallelization of a collaborative filtering algorithm with Menthor
L Bliss, O Blanvillain
The system can't perform the operation now. Try again later.
Articles 1–10