| |
Brachthäuser, Jonathan Immanuel
|
SCALA '17: "Effekt: Extensible Algebraic ..."
Effekt: Extensible Algebraic Effects in Scala (Short Paper)
Jonathan Immanuel Brachthäuser and Philipp Schuster
(University of Tübingen, Germany)
@InProceedings{SCALA17p184,
author = {Jonathan Immanuel Brachthäuser and Philipp Schuster},
title = {Effekt: Extensible Algebraic Effects in Scala (Short Paper)},
booktitle = {Proc.\ SCALA},
publisher = {ACM},
pages = {184-183},
doi = {},
year = {2017},
}
|
| |
Carbone, Paris
|
SCALA '17: "Kompics Scala: Narrowing the ..."
Kompics Scala: Narrowing the Gap between Algorithmic Specification and Executable Code (Short Paper)
Lars Kroll, Paris Carbone, and Seif Haridi
(KTH, Sweden)
@InProceedings{SCALA17p191,
author = {Lars Kroll and Paris Carbone and Seif Haridi},
title = {Kompics Scala: Narrowing the Gap between Algorithmic Specification and Executable Code (Short Paper)},
booktitle = {Proc.\ SCALA},
publisher = {ACM},
pages = {191-190},
doi = {},
year = {2017},
}
|
| |
Cassez, Franck |
SCALA '17: "ScalaSMT: Satisfiability Modulo ..."
ScalaSMT: Satisfiability Modulo Theory in Scala (Tool Paper)
Franck Cassez and Anthony M. Sloane
(Macquarie University, Australia)
@InProceedings{SCALA17p163,
author = {Franck Cassez and Anthony M. Sloane},
title = {ScalaSMT: Satisfiability Modulo Theory in Scala (Tool Paper)},
booktitle = {Proc.\ SCALA},
publisher = {ACM},
pages = {163-162},
doi = {},
year = {2017},
}
|
| |
Chang, Adelbert |
SCALA '17: "The Limitations of Type Classes ..."
The Limitations of Type Classes as Subtyped Implicits (Short Paper)
Adelbert Chang
@InProceedings{SCALA17p107,
author = {Adelbert Chang},
title = {The Limitations of Type Classes as Subtyped Implicits (Short Paper)},
booktitle = {Proc.\ SCALA},
publisher = {ACM},
pages = {107-106},
doi = {},
year = {2017},
}
|
| |
Chen, Tongfei |
SCALA '17: "Typesafe Abstractions for ..."
Typesafe Abstractions for Tensor Operations (Short Paper)
Tongfei Chen
(Johns Hopkins University, USA)
@InProceedings{SCALA17p156,
author = {Tongfei Chen},
title = {Typesafe Abstractions for Tensor Operations (Short Paper)},
booktitle = {Proc.\ SCALA},
publisher = {ACM},
pages = {156-155},
doi = {},
year = {2017},
}
|
| |
Duboscq, Gilles
|
SCALA '17: "Making Collection Operations ..."
Making Collection Operations Optimal with Aggressive JIT Compilation
Aleksandar Prokopec, David Leopoldseder, Gilles Duboscq, and Thomas Würthinger
(Oracle Labs, Switzerland; JKU Linz, Austria)
@InProceedings{SCALA17p135,
author = {Aleksandar Prokopec and David Leopoldseder and Gilles Duboscq and Thomas Würthinger},
title = {Making Collection Operations Optimal with Aggressive JIT Compilation},
booktitle = {Proc.\ SCALA},
publisher = {ACM},
pages = {135-134},
doi = {},
year = {2017},
}
|
| |
Haridi, Seif
|
SCALA '17: "Kompics Scala: Narrowing the ..."
Kompics Scala: Narrowing the Gap between Algorithmic Specification and Executable Code (Short Paper)
Lars Kroll, Paris Carbone, and Seif Haridi
(KTH, Sweden)
@InProceedings{SCALA17p191,
author = {Lars Kroll and Paris Carbone and Seif Haridi},
title = {Kompics Scala: Narrowing the Gap between Algorithmic Specification and Executable Code (Short Paper)},
booktitle = {Proc.\ SCALA},
publisher = {ACM},
pages = {191-190},
doi = {},
year = {2017},
}
|
| |
Koch, Christoph E.
|
SCALA '17: "Squid: Type-Safe, Hygienic, ..."
Squid: Type-Safe, Hygienic, and Reusable Quasiquotes
Lionel Parreaux, Amir Shaikhha, and Christoph E. Koch
(EPFL, Switzerland)
@InProceedings{SCALA17p170,
author = {Lionel Parreaux and Amir Shaikhha and Christoph E. Koch},
title = {Squid: Type-Safe, Hygienic, and Reusable Quasiquotes},
booktitle = {Proc.\ SCALA},
publisher = {ACM},
pages = {170-169},
doi = {},
year = {2017},
}
|
| |
Kroll, Lars |
SCALA '17: "Kompics Scala: Narrowing the ..."
Kompics Scala: Narrowing the Gap between Algorithmic Specification and Executable Code (Short Paper)
Lars Kroll, Paris Carbone, and Seif Haridi
(KTH, Sweden)
@InProceedings{SCALA17p191,
author = {Lars Kroll and Paris Carbone and Seif Haridi},
title = {Kompics Scala: Narrowing the Gap between Algorithmic Specification and Executable Code (Short Paper)},
booktitle = {Proc.\ SCALA},
publisher = {ACM},
pages = {191-190},
doi = {},
year = {2017},
}
|
| |
Leopoldseder, David
|
SCALA '17: "Making Collection Operations ..."
Making Collection Operations Optimal with Aggressive JIT Compilation
Aleksandar Prokopec, David Leopoldseder, Gilles Duboscq, and Thomas Würthinger
(Oracle Labs, Switzerland; JKU Linz, Austria)
@InProceedings{SCALA17p135,
author = {Aleksandar Prokopec and David Leopoldseder and Gilles Duboscq and Thomas Würthinger},
title = {Making Collection Operations Optimal with Aggressive JIT Compilation},
booktitle = {Proc.\ SCALA},
publisher = {ACM},
pages = {135-134},
doi = {},
year = {2017},
}
|
| |
Martres, Guillaume
|
SCALA '17: "Interactive Development using ..."
Interactive Development using the Dotty Compiler (Tool Paper)
Guillaume Martres
(EPFL, Switzerland)
@InProceedings{SCALA17p149,
author = {Guillaume Martres},
title = {Interactive Development using the Dotty Compiler (Tool Paper)},
booktitle = {Proc.\ SCALA},
publisher = {ACM},
pages = {149-148},
doi = {},
year = {2017},
}
|
| |
Nieto, Abel
|
SCALA '17: "Towards Algorithmic Typing ..."
Towards Algorithmic Typing for DOT (Short Paper)
Abel Nieto
(University of Waterloo, Canada)
@InProceedings{SCALA17p100,
author = {Abel Nieto},
title = {Towards Algorithmic Typing for DOT (Short Paper)},
booktitle = {Proc.\ SCALA},
publisher = {ACM},
pages = {100-99},
doi = {},
year = {2017},
}
|
| |
Nystrom, Nathaniel |
SCALA '17: "A Scala Framework for Supercompilation ..."
A Scala Framework for Supercompilation
Nathaniel Nystrom
(University of Lugano, Switzerland)
@InProceedings{SCALA17p121,
author = {Nathaniel Nystrom},
title = {A Scala Framework for Supercompilation},
booktitle = {Proc.\ SCALA},
publisher = {ACM},
pages = {121-120},
doi = {},
year = {2017},
}
|
| |
Osvald, Leo
|
SCALA '17: "Rust-Like Borrowing with 2nd-Class ..."
Rust-Like Borrowing with 2nd-Class Values (Short Paper)
Leo Osvald and Tiark Rompf
(Purdue University, USA)
@InProceedings{SCALA17p114,
author = {Leo Osvald and Tiark Rompf},
title = {Rust-Like Borrowing with 2nd-Class Values (Short Paper)},
booktitle = {Proc.\ SCALA},
publisher = {ACM},
pages = {114-113},
doi = {},
year = {2017},
}
|
| |
Parreaux, Lionel
|
SCALA '17: "Squid: Type-Safe, Hygienic, ..."
Squid: Type-Safe, Hygienic, and Reusable Quasiquotes
Lionel Parreaux, Amir Shaikhha, and Christoph E. Koch
(EPFL, Switzerland)
@InProceedings{SCALA17p170,
author = {Lionel Parreaux and Amir Shaikhha and Christoph E. Koch},
title = {Squid: Type-Safe, Hygienic, and Reusable Quasiquotes},
booktitle = {Proc.\ SCALA},
publisher = {ACM},
pages = {170-169},
doi = {},
year = {2017},
}
|
| |
Prokopec, Aleksandar |
SCALA '17: "Making Collection Operations ..."
Making Collection Operations Optimal with Aggressive JIT Compilation
Aleksandar Prokopec, David Leopoldseder, Gilles Duboscq, and Thomas Würthinger
(Oracle Labs, Switzerland; JKU Linz, Austria)
@InProceedings{SCALA17p135,
author = {Aleksandar Prokopec and David Leopoldseder and Gilles Duboscq and Thomas Würthinger},
title = {Making Collection Operations Optimal with Aggressive JIT Compilation},
booktitle = {Proc.\ SCALA},
publisher = {ACM},
pages = {135-134},
doi = {},
year = {2017},
}
|
| |
Rompf, Tiark
|
SCALA '17: "Rust-Like Borrowing with 2nd-Class ..."
Rust-Like Borrowing with 2nd-Class Values (Short Paper)
Leo Osvald and Tiark Rompf
(Purdue University, USA)
@InProceedings{SCALA17p114,
author = {Leo Osvald and Tiark Rompf},
title = {Rust-Like Borrowing with 2nd-Class Values (Short Paper)},
booktitle = {Proc.\ SCALA},
publisher = {ACM},
pages = {114-113},
doi = {},
year = {2017},
}
|
| |
Schuster, Philipp
|
SCALA '17: "Effekt: Extensible Algebraic ..."
Effekt: Extensible Algebraic Effects in Scala (Short Paper)
Jonathan Immanuel Brachthäuser and Philipp Schuster
(University of Tübingen, Germany)
@InProceedings{SCALA17p184,
author = {Jonathan Immanuel Brachthäuser and Philipp Schuster},
title = {Effekt: Extensible Algebraic Effects in Scala (Short Paper)},
booktitle = {Proc.\ SCALA},
publisher = {ACM},
pages = {184-183},
doi = {},
year = {2017},
}
|
| |
Shaikhha, Amir |
SCALA '17: "Squid: Type-Safe, Hygienic, ..."
Squid: Type-Safe, Hygienic, and Reusable Quasiquotes
Lionel Parreaux, Amir Shaikhha, and Christoph E. Koch
(EPFL, Switzerland)
@InProceedings{SCALA17p170,
author = {Lionel Parreaux and Amir Shaikhha and Christoph E. Koch},
title = {Squid: Type-Safe, Hygienic, and Reusable Quasiquotes},
booktitle = {Proc.\ SCALA},
publisher = {ACM},
pages = {170-169},
doi = {},
year = {2017},
}
|
| |
Sloane, Anthony M. |
SCALA '17: "ScalaSMT: Satisfiability Modulo ..."
ScalaSMT: Satisfiability Modulo Theory in Scala (Tool Paper)
Franck Cassez and Anthony M. Sloane
(Macquarie University, Australia)
@InProceedings{SCALA17p163,
author = {Franck Cassez and Anthony M. Sloane},
title = {ScalaSMT: Satisfiability Modulo Theory in Scala (Tool Paper)},
booktitle = {Proc.\ SCALA},
publisher = {ACM},
pages = {163-162},
doi = {},
year = {2017},
}
|
| |
Würthinger, Thomas
|
SCALA '17: "Making Collection Operations ..."
Making Collection Operations Optimal with Aggressive JIT Compilation
Aleksandar Prokopec, David Leopoldseder, Gilles Duboscq, and Thomas Würthinger
(Oracle Labs, Switzerland; JKU Linz, Austria)
@InProceedings{SCALA17p135,
author = {Aleksandar Prokopec and David Leopoldseder and Gilles Duboscq and Thomas Würthinger},
title = {Making Collection Operations Optimal with Aggressive JIT Compilation},
booktitle = {Proc.\ SCALA},
publisher = {ACM},
pages = {135-134},
doi = {},
year = {2017},
}
|
| |
Xin, Reynold
|
SCALA '17: "Spark and Scala (Keynote) ..."
Spark and Scala (Keynote)
Reynold Xin
(Databricks, USA)
@InProceedings{SCALA17p1,
author = {Reynold Xin},
title = {Spark and Scala (Keynote)},
booktitle = {Proc.\ SCALA},
publisher = {ACM},
pages = {1-0},
doi = {10.1145/3136000.3148042},
year = {2017},
}
 Publisher's Version
|