Scala 2018 – Proceedings

9th ACM SIGPLAN International Scala Symposium (SCALA 2018)

Frontmatter

Keynote

Cross-Platform Language Design in Scala.js (Keynote)
Sébastien Doeraene
(EPFL, Switzerland)

@InProceedings{Scala18p1, author = {Sébastien Doeraene}, title = {Cross-Platform Language Design in Scala.js (Keynote)}, booktitle = {Proc.\ Scala}, publisher = {ACM}, pages = {1-0}, doi = {10.1145/3241653.3266230}, year = {2018}, } Publisher's Version Article: icfpws18scalamain-key1-p (type: Short Paper) doi:10.1145/3241653.3266230

DSLs and Parsing

A Domain-Specific Language for Microservices
Jacob Donham
(Twitter, USA)

@InProceedings{Scala18p14, author = {Jacob Donham}, title = {A Domain-Specific Language for Microservices}, booktitle = {Proc.\ Scala}, publisher = {ACM}, pages = {14-13}, doi = {10.1145/3241653.3241654}, year = {2018}, } Publisher's Version Article: icfpws18scalamain-p1-p (type: Full Paper (10 pages + references)) doi:10.1145/3241653.3241654

Parser Combinators for Context-Free Path Querying
Ekaterina Verbitskaia, Ilya Kirillov, Ilya Nozkin, and Semyon Grigorev
(Saint Petersburg State University, Russia)

@InProceedings{Scala18p27, author = {Ekaterina Verbitskaia and Ilya Kirillov and Ilya Nozkin and Semyon Grigorev}, title = {Parser Combinators for Context-Free Path Querying}, booktitle = {Proc.\ Scala}, publisher = {ACM}, pages = {27-26}, doi = {10.1145/3241653.3241655}, year = {2018}, } Publisher's Version Article: icfpws18scalamain-p2-p (type: Full Paper (10 pages + references)) doi:10.1145/3241653.3241655

Garnishing Parsec with Parsley
Jamie Willis and Nicolas Wu
(University of Bristol, UK)

@InProceedings{Scala18p40, author = {Jamie Willis and Nicolas Wu}, title = {Garnishing Parsec with Parsley}, booktitle = {Proc.\ Scala}, publisher = {ACM}, pages = {40-39}, doi = {10.1145/3241653.3241656}, year = {2018}, } Publisher's Version Article: icfpws18scalamain-p3-p (type: Full Paper (10 pages + references)) doi:10.1145/3241653.3241656

Scala Foundations

Path Dependent Types with Path-Equality
Jaemin Hong, Jihyeok Park, and Sukyoung Ryu
(KAIST, South Korea)

@InProceedings{Scala18p53, author = {Jaemin Hong and Jihyeok Park and Sukyoung Ryu}, title = {Path Dependent Types with Path-Equality}, booktitle = {Proc.\ Scala}, publisher = {ACM}, pages = {53-52}, doi = {10.1145/3241653.3241657}, year = {2018}, } Publisher's Version Article: icfpws18scalamain-p5-p (type: Full Paper (4 pages + references)) doi:10.1145/3241653.3241657

κDOT: Scaling DOT with Mutation and Constructors
Ifaz Kabir and Ondřej Lhoták
(University of Waterloo, Canada)

@InProceedings{Scala18p59, author = {Ifaz Kabir and Ondřej Lhoták}, title = {κDOT: Scaling DOT with Mutation and Constructors}, booktitle = {Proc.\ Scala}, publisher = {ACM}, pages = {59-58}, doi = {10.1145/3241653.3241659}, year = {2018}, } Publisher's Version Article: icfpws18scalamain-p7-p (type: Full Paper (10 pages + references)) doi:10.1145/3241653.3241659

Initialization Patterns in Dotty
Fengyun Liu, Aggelos Biboudis, and Martin Odersky
(EPFL, Switzerland)

@InProceedings{Scala18p72, author = {Fengyun Liu and Aggelos Biboudis and Martin Odersky}, title = {Initialization Patterns in Dotty}, booktitle = {Proc.\ Scala}, publisher = {ACM}, pages = {72-71}, doi = {10.1145/3241653.3241662}, year = {2018}, } Publisher's Version Article: icfpws18scalamain-p12-p (type: Full Paper (4 pages + references)) doi:10.1145/3241653.3241662

Scala Extensions

Truly Abstract Interfaces for Algebraic Data Types: The Extractor Typing Problem
Nicolas Stucki, Paolo G. Giarrusso, and Martin Odersky
(EPFL, Switzerland)

@InProceedings{Scala18p78, author = {Nicolas Stucki and Paolo G. Giarrusso and Martin Odersky}, title = {Truly Abstract Interfaces for Algebraic Data Types: The Extractor Typing Problem}, booktitle = {Proc.\ Scala}, publisher = {ACM}, pages = {78-77}, doi = {10.1145/3241653.3241658}, year = {2018}, } Publisher's Version Article: icfpws18scalamain-p6-p (type: Full Paper (4 pages + references)) doi:10.1145/3241653.3241658

Interflow: Interprocedural Flow-Sensitive Type Inference and Method Duplication
Denys Shabalin and Martin Odersky
(EPFL, Switzerland)

@InProceedings{Scala18p84, author = {Denys Shabalin and Martin Odersky}, title = {Interflow: Interprocedural Flow-Sensitive Type Inference and Method Duplication}, booktitle = {Proc.\ Scala}, publisher = {ACM}, pages = {84-83}, doi = {10.1145/3241653.3241660}, year = {2018}, } Publisher's Version Article: icfpws18scalamain-p10-p (type: Full Paper (10 pages + references)) doi:10.1145/3241653.3241660

Extending Scala with Records: Design, Implementation, and Evaluation
Olof Karlsson and Philipp Haller
(A3J Consulting, Sweden; KTH, Sweden)

@InProceedings{Scala18p97, author = {Olof Karlsson and Philipp Haller}, title = {Extending Scala with Records: Design, Implementation, and Evaluation}, booktitle = {Proc.\ Scala}, publisher = {ACM}, pages = {97-96}, doi = {10.1145/3241653.3241661}, year = {2018}, } Publisher's Version Article: icfpws18scalamain-p11-p (type: Full Paper (10 pages + references)) doi:10.1145/3241653.3241661

proc time: 0.05