Re: [MirageOS-devel] OCaml Labs meeting - Wed 21st May in the Computer Lab

[Amir Chaudhry <amc79@xxxxxxxxx>]

Dear all,

Just a brief reminder that the meeting is taking place in two weeks.  Please 
note the start time of 3:30pm and that one more agenda item has been confirmed 
(Jenga).

Agenda
- Overview
- Ctypes
- Multicore
- Jenga

The original announcement is below and I'll send one more reminder on the 
Monday before the meeting. 

Best wishes,
Amir

On 25 Apr 2014, at 14:57, Amir Chaudhry <amc79@xxxxxxxxx> wrote:

> Dear all,
> 
> Please save the date for the next OCaml Labs meeting. Please also note the 
> unusual start time of 3:30pm and that we've scheduled 2 hours for the 
> meeting, though we do expect to finish sooner.
> 
> The details are below as well as a provisional agenda with brief abstracts.
> A final agenda will be circulated before the meeting.
> 
> -- Details --
> OCaml Labs Meeting
> 21st May 2014
> 3:30pm – 5:30pm
> Room FW26 - Cambridge Computer Laboratory
> William Gates Building
> JJ Thomson Avenue
> Cambridge CB3 0FD
> 
> 
> -- Provisional Agenda --
> 
> * Overview
> 
> * Ctypes
> Ctypes now includes a new backend that statically generates the C and OCaml 
> code for binding to libraries. Jeremy will show what this looks like from a 
> user perspective and how it translates into additional type safety, simpler 
> linking and more efficient execution.
> 
> * Multicore Runtime
> 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 runtime 
> with support for parallelism, focusing on the garbage collector for this 
> runtime.
> 
> * 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 the 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.
> 
> * (others to be confirmed)
> 
> vCal: http://talks.cam.ac.uk/talk/vcal/51901
> webcal feed: webcal://talks.cam.ac.uk/show/ics/41277
> 
> If you have any questions, please let me know.
> 
> Best wishes,
> Amir


_______________________________________________
MirageOS-devel mailing list
MirageOS-devel@xxxxxxxxxxxxxxxxxxxx
http://lists.xenproject.org/cgi-bin/mailman/listinfo/mirageos-devel