Collaborated with:
L.Parreaux A.Shaikhha C.E.Koch
Talks about:
quasiquot (1) static (1) analyt (1) unifi (1) type (1)
Person: Antoine Voizard
DBLP: Voizard:Antoine
Contributed to:
Wrote 1 papers:
- POPL-2018-ParreauxVSK #static typing
- Unifying analytic and statically-typed quasiquotes (LP, AV, AS, CEK), p. 33.