* [Caml-list] From Session Types to Data Types: RA post
@ 2013-05-17 15:10 Sam Lindley
0 siblings, 0 replies; only message in thread
From: Sam Lindley @ 2013-05-17 15:10 UTC (permalink / raw)
To: caml-list
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.
^ permalink raw reply [flat|nested] only message in thread
only message in thread, other threads:[~2013-05-17 15:11 UTC | newest]
Thread overview: (only message) (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2013-05-17 15:10 [Caml-list] From Session Types to Data Types: RA post Sam Lindley
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).