[TYPES/announce] Programming with handlers

Pretnar / Andrej Bauer (Ljubljana) Eff: http://arxiv.org/abs/1203.1539v1 Edwin Brady (St Andrews) http://www.cs.st-andrews.ac.uk/~eb/drafts/effects.pdf Ohad Kammar / Sam Lindley / Nicholas Oury (Cambridge, Edinburgh) http://homepages.inf.ed.ac.uk/slindley/papers/handlers-draft-march2013.pdf

[TYPES/announce] WadlerFest, 11--12 April 2016, Edinburgh

s Robert Atkey, Sam Lindley and J. Garrett Morris Conflation confers concurrency Nick Benton, Andrew Kennedy, Martin Hofmann and Vivek Nigam Counting successes: effects and transformations for non-deterministic programs Andrew Black, Kim Bruce and James Noble The essence of i

[TYPES/announce] Final call for participation: LFCS30 / WadlerFest, 11–13 April 2016, Edinburgh

d an email to: level4ad...@inf.ed.ac.uk Stephen Gilmore Sam Lindley Conor McBride Don Sannella Phil Trinder (organisers) -- The University of Edinburgh is a charitable body, registered in Scotland, with registration number SC005336.

[TYPES/announce] CFP: ML Family Workshop 2016

(LIP6 Paris, France) Sam Lindley (The University of Edinburgh, UK) (PC chair) Andreas Rossberg (Google, Germany) Sukyoung Ryu (KAIST, South Korea) Gabriel Scherer (Northeastern University, US) Alley Stoughton (Boston University, US) Niki Vazou (University of Maryland, US) -- The University

[TYPES/announce] CFP: Workshop on Type-driven Development (TyDe '17)

- Patricia Johann, Appalachian State University, US - Yukiyoshi Kameyama, University of Tsukuba, Japan - Sam Lindley, The University of Edinburgh, UK (co-chair) - Limin Jia, CMU, US - Assia Mahboubi, INRIA Saclay, France - Liam O’Connor, University of New South Wales, Australia - Nicolas

[TYPES/announce] Final CFP: ML Family Workshop 2017

committee --- Nick Benton (Facebook, UK) Małgorzata Biernacka (University of Wroclaw, Poland) Stephen Dolan (University of Cambridge, UK) Shin-ya Katsumata (Kyoto University, Japan) Julia Lawall (LIP6 Paris, France) Sam Lindley (The University of Edinburgh, UK) (PC chair) Andreas

[TYPES/announce] Final CFP: Workshop on Type-driven Development (TyDe '17)

, Chalmers University of Technology, Sweden - Patricia Johann, Appalachian State University, US - Yukiyoshi Kameyama, University of Tsukuba, Japan - Sam Lindley, The University of Edinburgh, UK (co-chair) - Limin Jia, CMU, US - Assia Mahboubi, INRIA Saclay, France - Liam O’Connor

[TYPES/announce] 2nd CFP: Workshop on Type-driven Development (TyDe '17)

, Chalmers University of Technology, Sweden - Patricia Johann, Appalachian State University, US - Yukiyoshi Kameyama, University of Tsukuba, Japan - Sam Lindley, The University of Edinburgh, UK (co-chair) - Limin Jia, CMU, US - Assia Mahboubi, INRIA Saclay, France - Liam O’Connor

[TYPES/announce] Second CFP: ML Family Workshop 2017

(LIP6 Paris, France) Sam Lindley (The University of Edinburgh, UK) (PC chair) Andreas Rossberg (Google, Germany) Sukyoung Ryu (KAIST, South Korea) Gabriel Scherer (Northeastern University, US) Alley Stoughton (Boston University, US) Niki Vazou (University of Maryland, US) -- The University

[TYPES/announce] Final CFP: ProWeb 2018

- Tobias Distler, Friedrich-Alexander-Universität Erlangen-Nürnberg, Germany - Philipp Haller, KTH Royal Institute of Technology, Sweden - Sam Lindley, University of Edinburgh, United Kingdom - Anders Møller, Aarhus University, Denmark - Frank Piessens, KU Leuven, Belgium - Michael Prädel, TU Darmstadt

[TYPES/announce] MSFP 2020 - Second Call for Papers

Committee: == Stephanie Balzer - CMU, USA Kwanghoon Choi- Chonnam, South Korea Ralf Hinze- Kaiserslautern, Germany Marie Kerjean - Inria Nantes, France Sam Lindley - Edinburgh and Imperial, UK (co-chair

[TYPES/announce] MSFP 2020 - First Call for Papers

Balzer - CMU, USA Kwanghoon Choi- Chonnam, South Korea Ralf Hinze- Kaiserslautern, Germany Marie Kerjean - Inria Nantes, France Sam Lindley - Edinburgh and Imperial, UK (co-chair) Max New

[TYPES/announce] MSFP 2020 - Final Call for Papers

Committee: == Stephanie Balzer - CMU, USA Kwanghoon Choi- Chonnam, South Korea Ralf Hinze- Kaiserslautern, Germany Marie Kerjean - Inria Nantes, France Sam Lindley - Edinburgh and Imperial, UK (co-chair

[TYPES/announce] PEPM 2021 - Second Call for Papers

co-chairs, Sam Lindley and Torben Mogensen . Submission categories and guidelines Two kinds of submissions will be accepted: * Regular Research Papers should describe new results, and will be judged on originality, correctness, significance, and clarity

[TYPES/announce] PEPM 2021 - First Call for Papers

encourage submissions describing new theories and applications related to semantics-based program manipulation in general. If you have a question as to whether a potential submission is within the scope of the workshop, please contact the programme co-chairs, Sam Lindley and Torben Mogensen

[TYPES/announce] MSFP 2020 (Monday August 31st and Tuesday September 1st) - Call for Participation

virtual pub Program Committee = Stephanie Balzer - CMU, USA Kwanghoon Choi- Chonnam, South Korea Ralf Hinze- Kaiserslautern, Germany Marie Kerjean - Inria Nantes, France Sam Lindley - Edinburgh

[TYPES/announce] PEPM 2021 - Call for Participation

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] -- CALL FOR PARTICIPATION -- ACM SIGPLAN Workshop on PARTIAL EVALUATION AND PROGRAM MANIPULATION (PEPM) 2021

[TYPES/announce] post-doctoral research position - Effect Handler Oriented Programming - Edinburgh

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Hi, I have an opening for a post-doctoral research position at The University of Edinburgh on Effect Handler Oriented Programming (EHOP) funded by a UKRI Future Leaders Fellowship.

[TYPES/announce] postdoctoral research positions in effect handler oriented programming at Edinburgh

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] I have funding for up to two postdoctoral researchers to work with me and my group on the theoretical foundations and practical design and implementation of effect handlers at The University