NPFL 2018
Sun 23 - Sat 29 September 2018 St. Louis, Missouri, United States
co-located with ICFP 2018
ICFP 2018 (series) / NPFL 2018 (series) / Union Station Hilton /

Room information: Frisco

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

Displayed time zone: Guadalajara, Mexico City, Monterrey change

09:00 - 10:00
Session 1OCaml at Frisco
Chair(s): Andrew Kennedy Facebook London
09:00
5m
Day opening
Introduction
OCaml
Andrew Kennedy Facebook London
09:05
30m
Talk
The OCaml Platform 1.0
OCaml
Anil Madhavapeddy OCaml Labs, Gemma Gordon University of Cambridge
09:35
10m
Poster
The OCaml Software Foundation
OCaml
Michel Mauny , Yann Régis-Gianas IRIF, University Paris Diderot and CNRS, France / INRIA PI.R2
09:45
5m
Poster
This PDF is an OCaml bytecode
OCaml
Gabriel Radanne University of Freiburg, Germany
10:20 - 11:00
Session 2OCaml at Frisco
Chair(s): Stephen Dolan University of Cambridge
10:20
20m
Talk
Abusing Format for fun and profits
OCaml
Gabriel Radanne University of Freiburg, Germany, Frédéric Bour Facebook Paris
10:40
20m
Talk
RFCs, all the way down!
OCaml
Romain Calascibetta Tarides
11:20 - 12:00
Session 3OCaml at Frisco
Chair(s): KC Sivaramakrishnan University of Cambridge
11:20
20m
Talk
The Vecosek Ecosystem
OCaml
Sebastien Mondet Mount Sinai - Hammer Lab
11:40
20m
Talk
OCaml on the ESP32 chip: Well Typed Lightbulbs Await
OCaml
Lucas Pluvinage ENS Paris, Sadiq Jaffer Opsian, Anil Madhavapeddy OCaml Labs
13:30 - 14:10
Session 4OCaml at Frisco
Chair(s): Gabriel Scherer INRIA Saclay
13:30
20m
Talk
Wall: rendering vector graphics with OCaml and OpenGL
OCaml
Frédéric Bour Facebook Paris
13:50
20m
Talk
Winning on Windows: porting the OCaml platform
OCaml
David Allsopp University of Cambridge
14:30 - 15:10
Session 5OCaml at Frisco
14:30
20m
Talk
R&B: Towards bringing functional programming to everyday's web programmer
OCaml
Hongbo Zhang Independent, Cristiano Calcagno Facebook, Jordan Walke Facebook, Cheng Lou Facebook, Ricky Vetter Facebook
14:50
20m
Talk
MLExplain
OCaml
Kévin Le Bon Inria, Alan Schmitt Inria
Link to publication
15:30 - 16:10
Session 6OCaml at Frisco
Chair(s): Andrew Kennedy Facebook London
15:30
20m
Talk
Relit: Implementing Typed Literal Macros in Reason
OCaml
Charles Chamberlain University of Chicago, Cyrus Omar University of Chicago

Fri 28 Sep

Displayed time zone: Guadalajara, Mexico City, Monterrey change

09:00 - 10:00
KeynoteScala at Frisco
Chair(s): Bruno C. d. S. Oliveira University of Hong Kong, China
09:00
60m
Talk
Cross-Platform Language Design in Scala.js
Scala
Sébastien Doeraene EPFL, Switzerland
DOI
10:20 - 11:50
Session 1: Scala FoundationsScala at Frisco
Chair(s): Paolo G. Giarrusso EPFL, Switzerland
10:20
22m
Talk
Extending Scala with Records: Design, Implementation, and Evaluation
Scala
Olof Karlsson A3J Consulting, Sweden, Philipp Haller KTH, Sweden
DOI
10:42
23m
Talk
Initialization Patterns in Dotty
Scala
Fengyun Liu EPFL, Switzerland, Aggelos Biboudis EPFL, Switzerland, Martin Odersky EPFL, Switzerland
DOI
11:05
22m
Talk
Path Dependent Types with Path-Equality
Scala
Jaemin Hong KAIST, South Korea, Jihyeok Park KAIST, South Korea, Sukyoung Ryu KAIST, South Korea
DOI
11:27
23m
Talk
κDOT: Scaling DOT with Mutation and Constructors
Scala
Ifaz Kabir University of Waterloo, Canada, Ondřej Lhoták University of Waterloo
DOI
11:50 - 12:10
Student Talks 1Scala at Frisco
Chair(s): Sukyoung Ryu KAIST, South Korea
11:50
10m
Talk
Julia Subtyping Lessons Scala Could Learn (Student Talk)
Scala
Artem Pelenitsyn Northeastern University
12:00
10m
Talk
Scala with explicit nulls (student talk)
Scala
Abel Nieto University of Waterloo, Ondřej Lhoták University of Waterloo
13:10 - 14:40
Session 2: Scala Extensions & ParsingScala at Frisco
Chair(s): Philipp Haller KTH, Sweden
13:10
22m
Talk
Garnishing Parsec with Parsley
Scala
Jamie Willis University of Bristol, UK, Nicolas Wu University of Bristol, UK
DOI
13:32
22m
Talk
Interflow: Interprocedural Flow-Sensitive Type Inference and Method Duplication
Scala
Denys Shabalin EPFL, Switzerland, Martin Odersky EPFL, Switzerland
DOI
13:55
22m
Talk
Parser Combinators for Context-Free Path Querying
Scala
Ekaterina Verbitskaia Saint Petersburg State University, Russia, Ilya Kirillov Saint Petersburg State University, Russia, Ilya Nozkin Saint Petersburg State University, Russia, Semyon Grigorev Saint Petersburg State University, Russia
DOI
14:17
22m
Talk
Truly Abstract Interfaces for Algebraic Data Types: The Extractor Typing Problem
Scala
Nicolas Stucki EPFL, Switzerland, Paolo G. Giarrusso EPFL, Switzerland, Martin Odersky EPFL, Switzerland
DOI
14:40 - 15:00
Student Talks 2Scala at Frisco
Chair(s): Philipp Haller KTH, Sweden
14:40
10m
Talk
Adding polymorphic functions to Scala (Student Talk)
Scala
Guillaume Martres EPFL, Switzerland
14:50
10m
Talk
Validating Changes in Typechecking on Codebases with SemanticDB (Student talk)
Scala
Max Ovsiankin UC Berkeley, Eugene Burmako Twitter, Inc.
15:20 - 16:10
Session 3: DSLs & Sponsor TalkScala at Frisco
Chair(s): Sebastian Erdweg Delft University of Technology, Netherlands
15:20
22m
Talk
A Domain-specific Language for Microservices
Scala
Jacob Donham Twitter, Inc.
DOI
15:42
28m
Industry talk
SemanticDB: a common data model for Scala developer tools
Scala
Eugene Burmako Twitter, Inc.

Sat 29 Sep

Displayed 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): Jose Calderon Galois, Inc., Eric Mertens Galois, Inc.
09:00
3h
Other
T06: Getting Satisfaction out of Games: Learning to use SAT solvers through puzzles and games
ICFP Tutorials
Eric Mertens Galois, Inc., Jose Calderon Galois, Inc.
13:00 - 16:00
T09: Pijul, a purely functional version control systemICFP Tutorials at Frisco
Chair(s): Pierre-Étienne Meunier
13:00
3h
Other
T09: Pijul, a purely functional version control system.
ICFP Tutorials
Pierre-Étienne Meunier

Thu 27 Sep

Displayed time zone: Guadalajara, Mexico City, Monterrey change

Room9:003010:003011:003012:003013:003014:003015:003016:0030
Frisco

OCaml

Session 1

OCaml

Session 2

OCaml

Session 3

OCaml

Session 4

OCaml

Session 5

OCaml

Session 6

Fri 28 Sep

Displayed time zone: Guadalajara, Mexico City, Monterrey change

Room9:003010:003011:003012:003013:003014:003015:003016:0030
Frisco

Scala

Keynote

Scala

Session 1: Scala Foundations

Scala

Student Talks 1

Scala

Session 2: Scala Extensions & Parsing

Scala

Student Talks 2

Scala

Session 3: DSLs & Sponsor Talk

Sat 29 Sep

Displayed time zone: Guadalajara, Mexico City, Monterrey change

Room9:003010:003011:003012:003013:003014:003015:0030
Frisco

ICFP Tutorials

T06: Getting Satisfaction out of Games: Learning to use SAT solvers through puzzles and games

ICFP Tutorials

T09: Pijul, a purely functional version control system

Thu 27 Sep

Displayed time zone: Guadalajara, Mexico City, Monterrey change

Room9:0015304510:0015304511:0015304512:0015304513:0015304514:0015304515:00153045
Frisco
OCaml
Introduction
09:00 - 09:05
OCaml
The OCaml Platform 1.0
09:05 - 09:35
OCaml
The OCaml Software Foundation
09:35 - 09:45
OCaml
This PDF is an OCaml bytecode
09:45 - 09:50
OCaml
Abusing Format for fun and profits
10:20 - 10:40
OCaml
RFCs, all the way down!
10:40 - 11:00
OCaml
The Vecosek Ecosystem
11:20 - 11:40
OCaml
OCaml on the ESP32 chip: Well Typed Lightbulbs Await
11:40 - 12:00
OCaml
Wall: rendering vector graphics with OCaml and OpenGL
13:30 - 13:50
OCaml
Winning on Windows: porting the OCaml platform
13:50 - 14:10
OCaml
R&B: Towards bringing functional programming to everyday's web programmer
14:30 - 14:50
OCaml
MLExplain
14:50 - 15:10
OCaml
Relit: Implementing Typed Literal Macros in Reason
15:30 - 15:50

Fri 28 Sep

Displayed time zone: Guadalajara, Mexico City, Monterrey change

Room9:0015304510:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:00153045
Frisco
Scala
Cross-Platform Language Design in Scala.js
09:00 - 10:00
Scala
Extending Scala with Records: Design, Implementation, and Evaluation
10:20 - 10:42
Scala
Initialization Patterns in Dotty
10:42 - 11:05
Scala
Path Dependent Types with Path-Equality
11:05 - 11:27
Scala
κDOT: Scaling DOT with Mutation and Constructors
11:27 - 11:50
Scala
Julia Subtyping Lessons Scala Could Learn (Student Talk)
11:50 - 12:00
Scala
Scala with explicit nulls (student talk)
12:00 - 12:10
Scala
Garnishing Parsec with Parsley
13:10 - 13:32
Scala
Interflow: Interprocedural Flow-Sensitive Type Inference and Method Dup ...
13:32 - 13:55
Scala
Parser Combinators for Context-Free Path Querying
13:55 - 14:17
Scala
Truly Abstract Interfaces for Algebraic Data Types: The Extractor Typin ...
14:17 - 14:40
Scala
Adding polymorphic functions to Scala (Student Talk)
14:40 - 14:50
Scala
Validating Changes in Typechecking on Codebases with SemanticDB (Studen ...
14:50 - 15:00
Scala
A Domain-specific Language for Microservices
15:20 - 15:42
Scala
SemanticDB: a common data model for Scala developer tools
15:42 - 16:10

Sat 29 Sep

Displayed time zone: Guadalajara, Mexico City, Monterrey change

Room9:0015304510:0015304511:0015304512:0015304513:0015304514:0015304515:00153045
Frisco
ICFP Tutorials
T06: Getting Satisfaction out of Games: Learning to use SAT solvers thr ...
09:00 - 12:00
ICFP Tutorials
T09: Pijul, a purely functional version control system.
13:00 - 16:00