Write a Blog >>
VenueUnion Station Hilton
Room nameFrisco
Floor0
Additional informationThere is no additional information of this room 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
OCaml
Andrew KennedyFacebook London
09:05 - 09:35
Talk
OCaml
Anil MadhavapeddyOCaml Labs, Gemma GordonUniversity of Cambridge
09:35 - 09:45
Poster
OCaml
Michel Mauny, Yann Régis-GianasIRIF, University Paris Diderot and CNRS, France / INRIA PI.R2
09:45 - 09:50
Poster
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
OCaml
Gabriel RadanneUniversity of Freiburg, Germany, Frédéric BourFacebook Paris
10:40 - 11:00
Talk
OCaml
11:20 - 12:00: Session 3OCaml at Frisco
Chair(s): KC SivaramakrishnanUniversity of Cambridge
11:20 - 11:40
Talk
OCaml
Sebastien MondetMount Sinai - Hammer Lab
11:40 - 12:00
Talk
OCaml
13:30 - 14:10: Session 4OCaml at Frisco
Chair(s): Gabriel SchererINRIA Saclay
13:30 - 13:50
Talk
OCaml
Frédéric BourFacebook Paris
13:50 - 14:10
Talk
OCaml
David AllsoppUniversity of Cambridge
14:30 - 15:10: Session 5OCaml at Frisco
14:30 - 14:50
Talk
OCaml
Hongbo ZhangIndependent, Cristiano CalcagnoFacebook, Jordan WalkeFacebook, Cheng LouFacebook, Ricky VetterFacebook
14:50 - 15:10
Talk
OCaml
Link to publication
15:30 - 16:10: Session 6OCaml at Frisco
Chair(s): Andrew KennedyFacebook London
15:30 - 15:50
Talk
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 2018 at Frisco
Chair(s): Bruno C. d. S. OliveiraUniversity of Hong Kong, China
09:00 - 10:00
Talk
Scala 2018
Sébastien DoeraeneEPFL, Switzerland
DOI
10:20 - 11:50: Session 1: Scala FoundationsScala 2018 at Frisco
Chair(s): Paolo G. GiarrussoEPFL, Switzerland
10:20 - 10:42
Talk
Scala 2018
Olof KarlssonA3J Consulting, Sweden, Philipp HallerKTH, Sweden
DOI
10:42 - 11:05
Talk
Scala 2018
Fengyun LiuEPFL, Switzerland, Aggelos BiboudisEPFL, Switzerland, Martin OderskyEPFL, Switzerland
DOI
11:05 - 11:27
Talk
Scala 2018
Jaemin HongKAIST, South Korea, Jihyeok ParkKAIST, South Korea, Sukyoung RyuKAIST, South Korea
DOI
11:27 - 11:50
Talk
Scala 2018
Ifaz KabirUniversity of Waterloo, Canada, Ondřej LhotákUniversity of Waterloo
DOI
11:50 - 12:10: Student Talks 1Scala 2018 at Frisco
Chair(s): Sukyoung RyuKAIST, South Korea
11:50 - 12:00
Talk
Scala 2018
Artem PelenitsynNortheastern University
12:00 - 12:10
Talk
Scala 2018
Abel NietoUniversity of Waterloo, Ondřej LhotákUniversity of Waterloo
13:10 - 14:40: Session 2: Scala Extensions & ParsingScala 2018 at Frisco
Chair(s): Philipp HallerKTH, Sweden
13:10 - 13:32
Talk
Scala 2018
Jamie WillisUniversity of Bristol, UK, Nicolas WuUniversity of Bristol, UK
DOI
13:32 - 13:55
Talk
Scala 2018
Denys ShabalinEPFL, Switzerland, Martin OderskyEPFL, Switzerland
DOI
13:55 - 14:17
Talk
Scala 2018
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
Scala 2018
Nicolas StuckiEPFL, Switzerland, Paolo G. GiarrussoEPFL, Switzerland, Martin OderskyEPFL, Switzerland
DOI
14:40 - 15:00: Student Talks 2Scala 2018 at Frisco
Chair(s): Philipp HallerKTH, Sweden
14:40 - 14:50
Talk
Scala 2018
Guillaume MartresEPFL, Switzerland
14:50 - 15:00
Talk
Scala 2018
Max OvsiankinUC Berkeley, Eugene BurmakoTwitter, Inc.
15:20 - 16:10: Session 3: DSLs & Sponsor TalkScala 2018 at Frisco
Chair(s): Sebastian ErdwegDelft University of Technology, Netherlands
15:20 - 15:42
Talk
Scala 2018
Jacob DonhamTwitter, Inc.
DOI
15:42 - 16:10
Industry talk
Scala 2018
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 gamesICFP Tutorials at Frisco
Chair(s): Eric MertensGalois, Inc., Jose CalderonGalois, Inc.
09:00 - 12:00
Other
ICFP Tutorials
Eric MertensGalois, Inc., Jose CalderonGalois, Inc.
13:00 - 16:00: T09: Pijul, a purely functional version control systemICFP Tutorials at Frisco
Chair(s): Pierre-Étienne Meunier
13:00 - 16:00
Other
ICFP 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

Room9:0015304510:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:00153045
Frisco