ML Index

Written by Gemma Gordon, Anil Madhavapeddy, Gabriel Scherer ()

Click this for a summary of the talks and their times

Making reactive programs function

Written by avsm (Anil Madhavapeddy) ()

Thursday 22nd 0915-1015 AM (ML 2016)

WebAssembly: high speed at low cost for everyone

Written by avsm (Anil Madhavapeddy) ()

Thursday 22nd 1035-1100 AM (ML 2016)

Extracting from F-star to C: a progress report

Written by avsm (Anil Madhavapeddy) ()

Thursday 22nd 1100-1125 AM (ML 2016)

Compiling with continuations and LLVM

Written by your-uid-here (your-name-here) ()

Thursday 22nd 1145-1210 AM (ML 2016)

SML# with natural join

Written by avsm (Anil Madhavapeddy) ()

Thursday 22nd 1210-1225 AM (ML 2016)

Eff directly in OCaml

Written by your-uid-here (your-name-here) ()

Thursday 22nd 1400-1425 PM (ML 2016)

Compiling Links effect handlers to the OCaml backend

Written by avsm (Anil Madhavapeddy) ()

Thursday 22nd 1425-1450 PM (ML 2016)

Classes for the masses

Written by your-uid-here (your-name-here) ()

Thursday 22nd 1520-1545 PM (ML 2016)

Close encounters of the higher kind - emulating constructor classes in standard ML

Written by your-uid-here (your-name-here) ()

Thursday 22nd 1545-1610 PM (ML 2016)

Malfunctional programming

Written by avsm (Anil Madhavapeddy) ()

Thursday 22nd 1640-1655 PM (ML 2016)

Ambiguous pattern variables

Written by avsm (Anil Madhavapeddy) ()

Thursday 22nd 1655-1720 PM (ML 2016)

Typed embedding of relational language in OCaml

Written by your-uid-here (your-name-here) ()

Thursday 22nd 1720-1735 PM (ML 2016)