From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <Sam.Lindley@ed.ac.uk>
X-Original-To: caml-list@sympa.inria.fr
Delivered-To: caml-list@sympa.inria.fr
Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83])
	by sympa.inria.fr (Postfix) with ESMTPS id 266337EE51
	for <caml-list@sympa.inria.fr>; Fri, 17 May 2013 17:11:12 +0200 (CEST)
Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender
  authenticity information available from domain of
  Sam.Lindley@ed.ac.uk) identity=pra; client-ip=129.215.13.205;
  receiver=mail2-smtp-roc.national.inria.fr;
  envelope-from="Sam.Lindley@ed.ac.uk";
  x-sender="Sam.Lindley@ed.ac.uk";
  x-conformance=sidf_compatible
Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender
  authenticity information available from domain of
  Sam.Lindley@ed.ac.uk) identity=mailfrom;
  client-ip=129.215.13.205;
  receiver=mail2-smtp-roc.national.inria.fr;
  envelope-from="Sam.Lindley@ed.ac.uk";
  x-sender="Sam.Lindley@ed.ac.uk";
  x-conformance=sidf_compatible
Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender
  authenticity information available from domain of
  postmaster@nougat.ucs.ed.ac.uk) identity=helo;
  client-ip=129.215.13.205;
  receiver=mail2-smtp-roc.national.inria.fr;
  envelope-from="Sam.Lindley@ed.ac.uk";
  x-sender="postmaster@nougat.ucs.ed.ac.uk";
  x-conformance=sidf_compatible
X-IronPort-Anti-Spam-Filtered: true
X-IronPort-Anti-Spam-Result: AmgCAHhHllGB1w3NlGdsb2JhbABbgziDO78QFg4BAQEBCQsJCRQFI4IhKBUbJTYCBRYLAgsDAgECAVgIAQGICAycbY5miVeIDwSBJo4YgiuBEwOdVo4y
X-IPAS-Result: AmgCAHhHllGB1w3NlGdsb2JhbABbgziDO78QFg4BAQEBCQsJCRQFI4IhKBUbJTYCBRYLAgsDAgECAVgIAQGICAycbY5miVeIDwSBJo4YgiuBEwOdVo4y
X-IronPort-AV: E=Sophos;i="4.87,692,1363129200"; 
   d="scan'208";a="17947550"
Received: from nougat.ucs.ed.ac.uk ([129.215.13.205])
  by mail2-smtp-roc.national.inria.fr with ESMTP; 17 May 2013 17:11:11 +0200
Received: from lmtp1.ucs.ed.ac.uk (lmtp1.ucs.ed.ac.uk [129.215.149.64])
	by nougat.ucs.ed.ac.uk (8.13.8/8.13.4) with ESMTP id r4HFBA53008633
	for <caml-list@inria.fr>; Fri, 17 May 2013 16:11:10 +0100 (BST)
Received: from [129.215.197.34] (talisker.inf.ed.ac.uk [129.215.197.34])
	by lmtp1.ucs.ed.ac.uk (8.13.8/8.13.7) with ESMTP id r4HFBAqd010301
	for <caml-list@inria.fr>; Fri, 17 May 2013 16:11:10 +0100 (BST)
Message-ID: <51964880.7060006@ed.ac.uk>
Date: Fri, 17 May 2013 16:10:56 +0100
From: Sam Lindley <Sam.Lindley@ed.ac.uk>
User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:17.0) Gecko/20130329 Thunderbird/17.0.5
MIME-Version: 1.0
To: caml-list@inria.fr
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 7bit
X-Edinburgh-Scanned: at nougat.ucs.ed.ac.uk
    with MIMEDefang 2.60, Sophie, Sophos Anti-Virus, Clam AntiVirus
X-Scanned-By: MIMEDefang 2.60 on 129.215.13.205
X-Scanned-By: MIMEDefang 2.52 on 129.215.149.64
Content-Disposition: inline
Subject: [Caml-list] From Session Types to Data Types: RA post

Though it isn't mentioned in the ad, this job may be of particular 
interest to researchers with OCaml experience:

https://www.vacancies.ed.ac.uk/pls/corehrrecruit/erq_jobspec_version_4.jobspec?p_id=013243

The successful applicant will be working with Phil Wadler and me, 
extending the Links web programming language to support session types. 
Links is written in OCaml.

The deadline for applications is 20th May 2013.

Sam


-- 
The University of Edinburgh is a charitable body, registered in
Scotland, with registration number SC005336.