A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is
ANF conversion; and the introduction of type-safe, hygienic macros as an alternative to the current macro system. ... Scala has had "syntactic" quasiquotes for a long time, but still misses a statically-typed version like in MetaOCaml, Haskell and F#. ... Acknowledgments We thank the people who helped develop Squid one way or the other, in particular Vojin Jovanovic and Eugene Burmako. ...doi:10.1145/3136000.3136005 dblp:conf/scala/ParreauxSK17 fatcat:u3hx5qsx2vfpvfvy3ddfm64yei
statically-typed quasiquotes  POPL, 2017 • Lionel Parreaux, Amir Shaikhha, Christoph Koch Squid: type-safe, hygienic, and reusable quasiquotes  Scala, 2017 Finally, the techniques and insights ... Some of the key features of SC such as its powerful type-safe quasiquotation mechanism internally depend on the combination of advanced genericity, support for mix-in composition, a powerful macro system ... This code corresponds to the join processing for equi-joins (and not the actual partitioning of input data), but similar rules are employed for other join types as well. ...doi:10.5075/epfl-thesis-8762 fatcat:4pxsqtmmffd3fapczklmiou7fe