ML4PL 2018
Mon 16 - Sat 21 July 2018 Amsterdam, Netherlands
co-located with ECOOP and ISSTA 2018
VenueMövenpick Hotel Amsterdam City Centre
Room nameMatterhorn II
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

Mon 16 Jul

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

11:00 - 12:30
11:00
40m
Talk
Adding kind-polymorphism to the Scala programming language
CurryOn Curry On Talks
Miles Sabin Underscore LLP
11:50
40m
Talk
Constant-time crypto programming with FaCT
CurryOn Curry On Talks
Deian Stefan University of California, San Diego
13:50 - 15:20
13:50
40m
Talk
A CRDT Primer: Defanging Order Theory
CurryOn Curry On Talks
John Mumm Vectrology Solutions
14:40
40m
Talk
Better living through incrementality: Immediate static analysis feedback without loss of precision
CurryOn Curry On Talks
Tamás Szabó itemis AG / TU Delft, Sebastian Erdweg TU Delft
15:55 - 17:25
15:55
40m
Talk
It Ain't Necessarily So
CurryOn Curry On Talks
Chris Ford ThoughtWorks (UK) Ltd.
16:45
40m
Talk
Language Design in the Open
CurryOn Curry On Talks

Tue 17 Jul

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

11:00 - 12:30
11:00
40m
Talk
Little Languages
CurryOn Curry On Talks
Chris Laffra Uber Technologies
11:50
40m
Talk
Why VM Benchmarking is Probably Misleading you
CurryOn Curry On Talks
Edd Barrett King's College London
13:50 - 15:20
13:50
40m
Talk
Simplicity - The Road Not Taken?
CurryOn Curry On Talks
Dave Thomas Kx Systems
14:40
40m
Talk
Serverless Computing with FunctionsChess Timer Talk
CurryOn Curry On Talks
15:55 - 17:25
15:55
40m
Talk
Isolation Without Containers
CurryOn Curry On Talks
16:45
40m
Talk
Using APIs and micro-services as the glue between observed and derived facts
CurryOn Curry On Talks
Faraz Babar American Express

Mon 16 Jul

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Tue 17 Jul

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change