[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

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

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 

- Overview
- Ctypes
- Multicore
- Jenga

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

Best wishes,

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



Lists.xenproject.org is hosted with RackSpace, monitoring our
servers 24x7x365 and backed by RackSpace's Fanatical Support®.