BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Talks.cam//talks.cam.ac.uk//
X-WR-CALNAME:Talks.cam
BEGIN:VEVENT
SUMMARY:OCaml Labs Meeting - OCL Members
DTSTART:20140521T143000Z
DTEND:20140521T163000Z
UID:TALK51901@talks.cam.ac.uk
CONTACT:Amir
DESCRIPTION:*Provisional Agenda (subject to change)*\n\n* *Overview* (Anil
 )\n\n* *Ctypes* now includes a new backend that statically generates the C
  and OCaml code for binding to libraries. I'll show what this looks like f
 rom a user perspective and how it translates into additional type safety\,
  simpler linking and more efficient execution. (Jeremy)\n\n* *Multicore Ru
 ntime* - Lack of support for shared-memory parallelism is often cited as a
  short-coming of OCaml. This talk will describe the design of an OCaml run
 time with support for parallelism\, focusing on the garbage collector for 
 this runtime. (Stephen)\n\n* *Modular Implicits* - Taking inspiration from
  "Modular Type-classes" and Scala's implicits\, this talk will outline the
  design and implementation of "modular implicits". Modular implicits allow
  functions to take implicit module arguments which will be filled-in by th
 e compiler by searching the environment for a module with the appropriate 
 type. This enables ad-hoc polymorphism in a very similar way to Haskell's 
 type classes. (Frederic)\n\n\n* *Jenga* - Jane Street's distributed build 
 system. (Nick / Mark)
LOCATION:FW26\, Computer Lab\, 15 JJ Thomson Avenue\, Cambridge
END:VEVENT
END:VCALENDAR