TyDe 2019
Sun 18 - Fri 23 August 2019 Berlin, Germany
co-located with ICFP 2019
VenueHotel Scandic Berlin Potsdamer Platz
Room namePine
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 22 Aug

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

09:00 - 10:00
Session 1ML at Pine
Chair(s): KC Sivaramakrishnan IIT Madras
09:00
60m
Talk
Keynote: An Introduction to the Imandra Automated Reasoning System
ML
I: Grant Passmore Imandra Inc.
10:30 - 12:00
Session 2ML at Pine
Chair(s): Andreas Rossberg Dfinity Stiftung
10:30
25m
Talk
A right-to-left type system for value recursion
ML
Alban Reynaud ENS Lyon, Gabriel Scherer INRIA Saclay, Jeremy Yallop University of Cambridge, UK
Pre-print
10:55
25m
Talk
let (rec) insertion without effects, lights or magic
ML
Oleg Kiselyov , Jeremy Yallop University of Cambridge, UK
Pre-print
11:20
25m
Talk
(TyDe Presentation) FreezeML: Complete and Easy Type Inference for First-Class Polymorphism
ML
Frank Emrich The University of Edinburgh, Sam Lindley The University of Edinburgh and Imperial College London, Jan Stolarek University of Edinburgh, UK, James Cheney University of Edinburgh, UK
11:20 - 11:45
Presented at ML WorkshopTyDe 2019 at Pine
11:20
25m
Talk
FreezeML: Complete and Easy Type Inference for First-Class Polymorphism
TyDe 2019
Frank Emrich The University of Edinburgh, Sam Lindley The University of Edinburgh and Imperial College London, Jan Stolarek University of Edinburgh, UK, James Cheney University of Edinburgh, UK
Pre-print
13:30 - 15:00
Session 3ML at Pine
Chair(s): Zoe Paraskevopoulou Princeton University
13:30
25m
Talk
Transparent Synchronous Dataflow
ML
Steven Cheung University of Birmingham, UK
File Attached
13:55
25m
Talk
Programming with Rational Coinductive Streams
ML
Jean-Baptiste Jeannin University of Michigan, USA
File Attached
14:20
25m
Talk
Efficient Deconstruction with Typed Pointer Reversal
ML
Pre-print
15:20 - 16:30
Session 4ML at Pine
Chair(s): Gabriel Scherer INRIA Saclay
15:20
25m
Talk
An Idris Foreign Function Interface to OCaml
ML
Robert Atkey University of Strathclyde, Ioan Luca University of Strathclyde
File Attached
15:45
25m
Talk
Necro: Animating Skeletons
ML
Nathanaël Courant INRIA, Enzo Crance INSA Rennes, Alan Schmitt Inria
File Attached
16:50 - 18:15
Session 5ML at Pine
Chair(s): Edwin Brady University of St. Andrews, UK
16:50
25m
Talk
Compiling Successor ML Pattern Guards
ML
John Reppy University of Chicago, Mona Zahir University of Chicago
Pre-print
17:15
25m
Talk
A Key-Value store for OCaml
ML
Tom Ridge University of Leicester, UK
File Attached
17:40
25m
Talk
Towards Machine Learning Induction in Poly/ML
ML
Yutaka Nagashima Data61, Australia
File Attached

Fri 23 Aug

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

09:00 - 10:00
EcosystemOCaml at Pine
Chair(s): David Allsopp University of Cambridge
09:00
5m
Day opening
Welcome
OCaml
David Allsopp University of Cambridge
09:05
25m
Talk
Invited Talk
OCaml
Xavier Leroy Collège de France
09:30
30m
Talk
The OCaml Platform in 2019
OCaml
Anil Madhavapeddy OCaml Labs, Gemma Gordon University of Cambridge
10:30 - 12:00
ApplicationsOCaml at Pine
Chair(s): Igor Pikovets
10:30
25m
Talk
OwlDE: making ODEs first-class Owl citizens
OCaml
Marcello Seri Bernoulli Institute for Mathematics, Computer Science and Artificial Intelligence, University of Groningen, Ta-Chu Kao Computational and Biological Learning Lab, Department of Engineering, University of Cambridge
10:55
25m
Talk
CausalRPC: traceable distributed computation
OCaml
11:20
25m
Talk
Executing Owl Computation on GPU and TPU
OCaml
Jianxin Zhao University of Cambridge

Thu 22 Aug

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

Room9:003010:003011:003012:003013:003014:003015:003016:003017:003018:0030
Pine

Fri 23 Aug

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

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