Notice détaillée
Titre
Parreaux, Lionel
Sciper ID
246168
Laboratoires affiliés
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
Employé pour
Parreaux, Lionel Emile Vincent
Toutes les ressources
Toutes les ressources
Le document apparaît dans
Authorities > People