Details
Title
Parreaux, Lionel
Sciper ID
246168
Affiliated labs
DATA
Publications
Finally, a Polymorphic Linear Algebra Language
How to Architect a Query Compiler
Quoted Staged Rewriting: A Practical Approach to Library-Defined Optimizations
Squid: Type-Safe, Hygienic, and Reusable Quasiquotes
The Simple Essence of Algebraic Subtyping: Principal Type Inference with Subtyping Made Easy
Towards Improved GADT Reasoning in Scala
Unifying Analytic and Statically-Typed Quasiquotes
How to Architect a Query Compiler
Quoted Staged Rewriting: A Practical Approach to Library-Defined Optimizations
Squid: Type-Safe, Hygienic, and Reusable Quasiquotes
The Simple Essence of Algebraic Subtyping: Principal Type Inference with Subtyping Made Easy
Towards Improved GADT Reasoning in Scala
Unifying Analytic and Statically-Typed Quasiquotes
Use for
Parreaux, Lionel Emile Vincent
Link to search
All resources
Record appears in
Authorities > People