| |
Biboudis, Aggelos
|
Scala '18: "Initialization Patterns in ..."
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 doi:10.1145/3241653.3241662
|
| |
Doeraene, Sébastien
|
Scala '18: "Cross-Platform Language Design ..."
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 doi:10.1145/3241653.3266230
|
| |
Donham, Jacob |
Scala '18: "A Domain-Specific Language ..."
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 doi:10.1145/3241653.3241654
|
| |
Giarrusso, Paolo G.
|
Scala '18: "Truly Abstract Interfaces ..."
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 doi:10.1145/3241653.3241658
|
| |
Grigorev, Semyon |
Scala '18: "Parser Combinators for Context-Free ..."
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 doi:10.1145/3241653.3241655
|
| |
Haller, Philipp
|
Scala '18: "Extending Scala with Records: ..."
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 doi:10.1145/3241653.3241661
|
| |
Hong, Jaemin |
Scala '18: "Path Dependent Types with ..."
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 doi:10.1145/3241653.3241657
|
| |
Kabir, Ifaz
|
Scala '18: "κDOT: Scaling DOT with Mutation ..."
κ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 doi:10.1145/3241653.3241659
|
| |
Karlsson, Olof |
Scala '18: "Extending Scala with Records: ..."
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 doi:10.1145/3241653.3241661
|
| |
Kirillov, Ilya |
Scala '18: "Parser Combinators for Context-Free ..."
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 doi:10.1145/3241653.3241655
|
| |
Lhoták, Ondřej
|
Scala '18: "κDOT: Scaling DOT with Mutation ..."
κ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 doi:10.1145/3241653.3241659
|
| |
Liu, Fengyun |
Scala '18: "Initialization Patterns in ..."
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 doi:10.1145/3241653.3241662
|
| |
Nozkin, Ilya
|
Scala '18: "Parser Combinators for Context-Free ..."
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 doi:10.1145/3241653.3241655
|
| |
Odersky, Martin
|
Scala '18: "Initialization Patterns in ..."
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 doi:10.1145/3241653.3241662
Scala '18: "Truly Abstract Interfaces ..."
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 doi:10.1145/3241653.3241658
Scala '18: "Interflow: Interprocedural ..."
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 doi:10.1145/3241653.3241660
|
| |
Park, Jihyeok
|
Scala '18: "Path Dependent Types with ..."
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 doi:10.1145/3241653.3241657
|
| |
Ryu, Sukyoung
|
Scala '18: "Path Dependent Types with ..."
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 doi:10.1145/3241653.3241657
|
| |
Shabalin, Denys
|
Scala '18: "Interflow: Interprocedural ..."
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 doi:10.1145/3241653.3241660
|
| |
Stucki, Nicolas |
Scala '18: "Truly Abstract Interfaces ..."
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 doi:10.1145/3241653.3241658
|
| |
Verbitskaia, Ekaterina
|
Scala '18: "Parser Combinators for Context-Free ..."
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 doi:10.1145/3241653.3241655
|
| |
Willis, Jamie
|
Scala '18: "Garnishing Parsec with Parsley ..."
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 doi:10.1145/3241653.3241656
|
| |
Wu, Nicolas |
Scala '18: "Garnishing Parsec with Parsley ..."
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 doi:10.1145/3241653.3241656
|