2 Hits in 1.9 sec

Squid: type-safe, hygienic, and reusable quasiquotes

Lionel Parreaux, Amir Shaikhha, Christoph E. Koch
2017 Proceedings of the 8th ACM SIGPLAN International Symposium on Scala - SCALA 2017  
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

Compilation and Code Optimization for Data Analytics

Amir Shaikhha
statically-typed quasiquotes [270] POPL, 2017 • Lionel Parreaux, Amir Shaikhha, Christoph Koch Squid: type-safe, hygienic, and reusable quasiquotes [269] 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