Write a Blog >>
ICFP 2018
Sun 23 - Sat 29 September 2018 St. Louis, Missouri, United States
VenueUnion Station Hilton
Room nameFrisco
Floor0
Room InformationNo extra information available
Program

You're viewing the program in a time zone which is different from your device's time zone - change time zone

Thu 27 Sep
Times are displayed in time zone: Guadalajara, Mexico City, Monterrey change

09:00 - 10:00: Session 1OCaml at Frisco
Chair(s): Andrew KennedyFacebook London
09:00 - 09:05
Day opening
Introduction
OCaml
Andrew KennedyFacebook London
09:05 - 09:35
Talk
The OCaml Platform 1.0
OCaml
Anil MadhavapeddyOCaml Labs, Gemma GordonUniversity of Cambridge
09:35 - 09:45
Poster
The OCaml Software Foundation
OCaml
Michel Mauny, Yann Régis-GianasIRIF, University Paris Diderot and CNRS, France / INRIA PI.R2
09:45 - 09:50
Poster
This PDF is an OCaml bytecode
OCaml
Gabriel RadanneUniversity of Freiburg, Germany
10:20 - 11:00: Session 2OCaml at Frisco
Chair(s): Stephen DolanUniversity of Cambridge
10:20 - 10:40
Talk
Abusing Format for fun and profits
OCaml
Gabriel RadanneUniversity of Freiburg, Germany, Frédéric BourFacebook Paris
10:40 - 11:00
Talk
RFCs, all the way down!
OCaml
11:20 - 12:00: Session 3OCaml at Frisco
Chair(s): KC SivaramakrishnanUniversity of Cambridge
11:20 - 11:40
Talk
The Vecosek Ecosystem
OCaml
Sebastien MondetMount Sinai - Hammer Lab
11:40 - 12:00
Talk
OCaml on the ESP32 chip: Well Typed Lightbulbs Await
OCaml
13:30 - 14:10: Session 4OCaml at Frisco
Chair(s): Gabriel SchererINRIA Saclay
13:30 - 13:50
Talk
Wall: rendering vector graphics with OCaml and OpenGL
OCaml
Frédéric BourFacebook Paris
13:50 - 14:10
Talk
Winning on Windows: porting the OCaml platform
OCaml
David AllsoppUniversity of Cambridge
14:30 - 15:10: Session 5OCaml at Frisco
14:30 - 14:50
Talk
R&B: Towards bringing functional programming to everyday's web programmer
OCaml
Hongbo ZhangIndependent, Cristiano CalcagnoFacebook, Jordan WalkeFacebook, Cheng LouFacebook, Ricky VetterFacebook
14:50 - 15:10
Talk
MLExplain
OCaml
Link to publication
15:30 - 16:10: Session 6OCaml at Frisco
Chair(s): Andrew KennedyFacebook London
15:30 - 15:50
Talk
Relit: Implementing Typed Literal Macros in Reason
OCaml
Charles ChamberlainUniversity of Chicago, Cyrus OmarUniversity of Chicago

Fri 28 Sep
Times are displayed in time zone: Guadalajara, Mexico City, Monterrey change

09:00 - 10:00: KeynoteScala at Frisco
Chair(s): Bruno C. d. S. OliveiraUniversity of Hong Kong, China
09:00 - 10:00
Talk
Cross-Platform Language Design in Scala.js
Scala
Sébastien DoeraeneEPFL, Switzerland
DOI
10:20 - 11:50: Session 1: Scala FoundationsScala at Frisco
Chair(s): Paolo G. GiarrussoEPFL, Switzerland
10:20 - 10:42
Talk
Extending Scala with Records: Design, Implementation, and Evaluation
Scala
Olof KarlssonA3J Consulting, Sweden, Philipp HallerKTH, Sweden
DOI
10:42 - 11:05
Talk
Initialization Patterns in Dotty
Scala
Fengyun LiuEPFL, Switzerland, Aggelos BiboudisEPFL, Switzerland, Martin OderskyEPFL, Switzerland
DOI
11:05 - 11:27
Talk
Path Dependent Types with Path-Equality
Scala
Jaemin HongKAIST, South Korea, Jihyeok ParkKAIST, South Korea, Sukyoung RyuKAIST, South Korea
DOI
11:27 - 11:50
Talk
κDOT: Scaling DOT with Mutation and Constructors
Scala
Ifaz KabirUniversity of Waterloo, Canada, Ondřej LhotákUniversity of Waterloo
DOI
11:50 - 12:10: Student Talks 1Scala at Frisco
Chair(s): Sukyoung RyuKAIST, South Korea
11:50 - 12:00
Talk
Julia Subtyping Lessons Scala Could Learn (Student Talk)
Scala
Artem PelenitsynNortheastern University
12:00 - 12:10
Talk
Scala with explicit nulls (student talk)
Scala
Abel NietoUniversity of Waterloo, Ondřej LhotákUniversity of Waterloo
13:10 - 14:40: Session 2: Scala Extensions & ParsingScala at Frisco
Chair(s): Philipp HallerKTH, Sweden
13:10 - 13:32
Talk
Garnishing Parsec with Parsley
Scala
Jamie WillisUniversity of Bristol, UK, Nicolas WuUniversity of Bristol, UK
DOI
13:32 - 13:55
Talk
Interflow: Interprocedural Flow-Sensitive Type Inference and Method Duplication
Scala
Denys ShabalinEPFL, Switzerland, Martin OderskyEPFL, Switzerland
DOI
13:55 - 14:17
Talk
Parser Combinators for Context-Free Path Querying
Scala
Ekaterina VerbitskaiaSaint Petersburg State University, Russia, Ilya KirillovSaint Petersburg State University, Russia, Ilya NozkinSaint Petersburg State University, Russia, Semyon GrigorevSaint Petersburg State University, Russia
DOI
14:17 - 14:40
Talk
Truly Abstract Interfaces for Algebraic Data Types: The Extractor Typing Problem
Scala
Nicolas StuckiEPFL, Switzerland, Paolo G. GiarrussoEPFL, Switzerland, Martin OderskyEPFL, Switzerland
DOI
14:40 - 15:00: Student Talks 2Scala at Frisco
Chair(s): Philipp HallerKTH, Sweden
14:40 - 14:50
Talk
Adding polymorphic functions to Scala (Student Talk)
Scala
Guillaume MartresEPFL, Switzerland
14:50 - 15:00
Talk
Validating Changes in Typechecking on Codebases with SemanticDB (Student talk)
Scala
Max OvsiankinUC Berkeley, Eugene BurmakoTwitter, Inc.
15:20 - 16:10: Session 3: DSLs & Sponsor TalkScala at Frisco
Chair(s): Sebastian ErdwegDelft University of Technology, Netherlands
15:20 - 15:42
Talk
A Domain-specific Language for Microservices
Scala
Jacob DonhamTwitter, Inc.
DOI
15:42 - 16:10
Industry talk
SemanticDB: a common data model for Scala developer tools
Scala
Eugene BurmakoTwitter, Inc.

Sat 29 Sep
Times are displayed in time zone: Guadalajara, Mexico City, Monterrey change

09:00 - 12:00: T06: Getting Satisfaction out of Games: Learning to use SAT solvers through puzzles and gamesTutorials at Frisco
Chair(s): Eric MertensGalois, Inc., Jose CalderonGalois, Inc.
09:00 - 12:00
Other
T06: Getting Satisfaction out of Games: Learning to use SAT solvers through puzzles and games
Tutorials
Eric MertensGalois, Inc., Jose CalderonGalois, Inc.
13:00 - 16:00: T09: Pijul, a purely functional version control systemTutorials at Frisco
Chair(s): Pierre-Étienne Meunier
13:00 - 16:00
Other
T09: Pijul, a purely functional version control system.
Tutorials

Thu 27 Sep
Times are displayed in time zone: Guadalajara, Mexico City, Monterrey change

Fri 28 Sep
Times are displayed in time zone: Guadalajara, Mexico City, Monterrey change

Sat 29 Sep
Times are displayed in time zone: Guadalajara, Mexico City, Monterrey change

Sat 29 Sep
Times are displayed in time zone: Guadalajara, Mexico City, Monterrey change