ICFP Workshops 2018
23nd ACM SIGPLAN International Conference on Functional Programming (ICFP 2018)
Powered by
Conference Publishing Consulting

9th ACM SIGPLAN International Scala Symposium (SCALA 2018), September 28, 2018, St. Louis, MO, USA

Scala 2018 – Proceedings

Contents - Abstracts - Authors

9th ACM SIGPLAN International Scala Symposium (SCALA 2018)

Frontmatter

Title Page
Article: icfpws18scalaforeword-fm000-p doi:
Message from the Chairs
Article: icfpws18scalaforeword-fm001-p doi:

Keynote

Cross-Platform Language Design in Scala.js (Keynote)
Sébastien Doeraene
(EPFL, Switzerland)
Publisher's Version Article: icfpws18scalamain-key1-p doi:10.1145/3241653.3266230

DSLs and Parsing

A Domain-Specific Language for Microservices
Jacob Donham
(Twitter, USA)
Publisher's Version Article: icfpws18scalamain-p1-p 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)
Publisher's Version Article: icfpws18scalamain-p2-p doi:10.1145/3241653.3241655
Garnishing Parsec with Parsley
Jamie Willis and Nicolas Wu
(University of Bristol, UK)
Publisher's Version Article: icfpws18scalamain-p3-p doi:10.1145/3241653.3241656

Scala Foundations

Path Dependent Types with Path-Equality
Jaemin Hong, Jihyeok Park, and Sukyoung Ryu
(KAIST, South Korea)
Publisher's Version Article: icfpws18scalamain-p5-p doi:10.1145/3241653.3241657
κDOT: Scaling DOT with Mutation and Constructors
Ifaz Kabir and Ondřej Lhoták
(University of Waterloo, Canada)
Publisher's Version Article: icfpws18scalamain-p7-p doi:10.1145/3241653.3241659
Initialization Patterns in Dotty
Fengyun Liu, Aggelos Biboudis, and Martin Odersky
(EPFL, Switzerland)
Publisher's Version Article: icfpws18scalamain-p12-p 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)
Publisher's Version Article: icfpws18scalamain-p6-p doi:10.1145/3241653.3241658
Interflow: Interprocedural Flow-Sensitive Type Inference and Method Duplication
Denys Shabalin and Martin Odersky
(EPFL, Switzerland)
Publisher's Version Article: icfpws18scalamain-p10-p doi:10.1145/3241653.3241660
Extending Scala with Records: Design, Implementation, and Evaluation
Olof Karlsson and Philipp Haller
(A3J Consulting, Sweden; KTH, Sweden)
Publisher's Version Article: icfpws18scalamain-p11-p doi:10.1145/3241653.3241661

proc time: 0.01