[Haskell] a postdoc position in Imperial College London

Recently there are several works which link session types and functional programming. Imperial College London has an open postdoc position on session types and programming languages, including Haskell and related theoretical studies. - Department of Computing, Imperia

[Haskell] JLAMP special issue for PLACES (2nd Call for Papers)

evaluated again by the reviewers to make a final decision. Contributions should be typeset in PDF format and must comply with JLAMP's author guidelines (see website for details). Submission deadline: 29th July 2016 Final decision due in: Jan 2017 (planned) Guest Editors: Dominic Or

[Haskell] JLAMP special issue for PLACES

evaluated again by the reviewers to make a final decision. Contributions should be typeset in PDF format and must comply with JLAMP's author guidelines (see website for details). Submission deadline: 29th July 2016 Final decision due in: Jan 2017 (planned) Guest Editors: Dominic Orchard, Unive

[Haskell] Call for Participation: PLACES 2016

njiva Prasad * Type-checking Availability in Choreographic Programming(presentation-only) Hugo A. López, Flemming Nielson, Hanne Riis Nielson *** Registration *** Via the ETAPS website: http://www.etaps.org/index.php/2016 If you have any questions please contact Dominic Orchard (dominic

[Haskell] Call for papers: PLACES 2016

Programme chairs: Dominic Orchard, Nobuko Yoshida Programme committee: * Francisco Martins, University of Lisbon * Heather Miller, EPFL * Fabrizio Montesi, University of Southern Denmark * Dominic Orchard, University of Cambridge / Imperial College London (co-chair) * Josef Svenningsson