Lionel Parreaux

According to our database1, Lionel Parreaux authored at least 8 papers between 2016 and 2020.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2020
The simple essence of algebraic subtyping: principal type inference with subtyping made easy (functional pearl).
Proc. ACM Program. Lang., 2020

Multi-stage programming in the large with staged classes.
Proceedings of the GPCE '20: Proceedings of the 19th ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences, 2020

2019
Towards improved GADT reasoning in Scala.
Proceedings of the Tenth ACM SIGPLAN Symposium on Scala, 2019

Finally, a Polymorphic Linear Algebra Language (Pearl).
Proceedings of the 33rd European Conference on Object-Oriented Programming, 2019

2018
Unifying analytic and statically-typed quasiquotes.
Proc. ACM Program. Lang., 2018

2017
Squid: type-safe, hygienic, and reusable quasiquotes.
Proceedings of the 8th ACM SIGPLAN International Symposium on Scala, 2017

Quoted staged rewriting: a practical approach to library-defined optimizations.
Proceedings of the 16th ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences, 2017

2016
How to Architect a Query Compiler.
Proceedings of the 2016 International Conference on Management of Data, 2016


  Loading...