Collaborated with:A.Shaikhha C.E.Koch Antoine Voizard
Talks about:quasiquot (1) polymorph (1) approach (1) practic (1) librari (1) languag (1) algebra (1) static (1) rewrit (1) linear (1)
Person: Lionel Parreaux
DBLP: Parreaux:Lionel
Contributed to:
2017
2019
2018Wrote 3 papers:
- GPCE-2017-ParreauxSK #approach #optimisation #staged
- Quoted staged rewriting: a practical approach to library-defined optimizations (LP, AS, CEK), pp. 131–145.
- ECOOP-2019-ShaikhhaP #algebra #linear #polymorphism
- Finally, a Polymorphic Linear Algebra Language (Pearl) (AS, LP), p. 29.
- POPL-2018-ParreauxVSK #static typing
- Unifying analytic and statically-typed quasiquotes (LP, AV, AS, CEK), p. 33.