Sulzmann (Karlsruhe University of Applied Sciences, Germany)
Jeremy Yallop (University of Cambridge, UK) (PC chair)
University, USA)
Sam Lindley (University of Edinburgh, UK)
Moe Masuko (Ochanomizu University, Japan)
Adriaan Moors (Typesafe, USA)
Scott Owens (University of Kent, UK)
Jonathan Protzenko (Microsoft Research, USA)
Martin Sulzmann (Karlsruhe University of Applied Sciences, Germany)
Jeremy Yallop
and lows of macros in a modern language
Jeremy Yallop (University of Cambridge)
Staging generic programming
Martin Berger (University of Sussex)
Foundations of meta-programming
José Pedro Magalhães (Standard Chartered
tica, Netherlands)
Jeremy Yallop (co-chair) (University of Cambridge, UK)
[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
CALL FOR PARTICIPATION
Workshop on PARTIAL EVALUATION AND PROGRAM MANIPULATION (PEPM 2017)
http://conf.researchr.org/home/PEPM-2017
Paris, France, January 16th - 17th, 2017
(co-located
* 30 June: Application and reference letters deadline.
* 10 July: Notification of acceptance.
* 11 August: Summer school.
Further information
For any questions relating to the school, please contact the
organisers (Jeremy Yallop
, supercompilation or related techniques
- Algebraic structures, universal algebra and categorical algebra
Informal enquiries are welcome and should be directed to Dr Jeremy
Yallop (jeremy.yal...@cl.cam.ac.uk)
Expected starting date: 1 September 2021
[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
[Posting on behalf of Neel Krishnaswami]
Hello,
We have an opening in Cambridge for a postdoctoral position with the ERC
Consolidator Grant project TypeFoundry. The TypeFoundry project
roadly construed (including
compilers, interpreters, proof assistants, static analysers and language tools)
Informal enquiries are welcome and should be directed to Dr Jeremy Yallop
(jeremy.yal...@cl.cam.ac.uk)