SCALA 2017
8th ACM SIGPLAN International Scala Symposium (SCALA 2017)
Powered by
Conference Publishing Consulting

8th ACM SIGPLAN International Scala Symposium (SCALA 2017), October 22–23, 2017, Vancouver, BC, Canada

SCALA 2017 – Author Index

Contents - Abstracts - Authors

B C D H K L M N O P R S W X

Brachthäuser, Jonathan Immanuel SCALA '17: "Effekt: Extensible Algebraic ..."
Carbone, Paris SCALA '17: "Kompics Scala: Narrowing the ..."
Cassez, Franck SCALA '17: "ScalaSMT: Satisfiability Modulo ..."
Chang, Adelbert SCALA '17: "The Limitations of Type Classes ..."
Chen, Tongfei SCALA '17: "Typesafe Abstractions for ..."
Duboscq, Gilles SCALA '17: "Making Collection Operations ..."
Haridi, Seif SCALA '17: "Kompics Scala: Narrowing the ..."
Koch, Christoph E. SCALA '17: "Squid: Type-Safe, Hygienic, ..."
Kroll, Lars SCALA '17: "Kompics Scala: Narrowing the ..."
Leopoldseder, David SCALA '17: "Making Collection Operations ..."
Martres, Guillaume SCALA '17: "Interactive Development using ..."
Nieto, Abel SCALA '17: "Towards Algorithmic Typing ..."
Nystrom, Nathaniel SCALA '17: "A Scala Framework for Supercompilation ..."
Osvald, Leo SCALA '17: "Rust-Like Borrowing with 2nd-Class ..."
Parreaux, Lionel SCALA '17: "Squid: Type-Safe, Hygienic, ..."
Prokopec, Aleksandar SCALA '17: "Making Collection Operations ..."
Rompf, Tiark SCALA '17: "Rust-Like Borrowing with 2nd-Class ..."
Schuster, Philipp SCALA '17: "Effekt: Extensible Algebraic ..."
Shaikhha, Amir SCALA '17: "Squid: Type-Safe, Hygienic, ..."
Sloane, Anthony M. SCALA '17: "ScalaSMT: Satisfiability Modulo ..."
Würthinger, Thomas SCALA '17: "Making Collection Operations ..."
Xin, Reynold SCALA '17-KEY: "Spark and Scala (Keynote) ..."

22 authors

proc time: 0.97