engelstaedterlab.org
Evolution, sex & parasites
https://engelstaedterlab.org/people/collaborators
Evolution, sex and parasites. Hasan Shimul Chowdhury Mehedi. Collaborators (present and past):. Pia Abel zur Wiesch (The Arctic University of Norway & Yale University, USA). ETH Zurich, Switzerland). CNRS, University of Lyon, France). CNRS, University of Monpellier II, France). University of Stirling, UK). ETH Zurich, Switzerland). Harvard University, USA). Humboldt University Berlin, Germany). Penn State, USA). University of Wisconsin, USA). University of Liverpool, UK). University of Tromsø, Norway).
homepages.inf.ed.ac.uk
Ian Stark - University of Edinburgh
http://homepages.inf.ed.ac.uk/stark
Senior Lecturer in Computer Science. Laboratory for Foundations of Computer Science. The University of Edinburgh. Edinburgh EH8 9AB, Scotland. Office hour Wednesdays 1030–1130. 44 131 650 5143. My research is on mathematical models for programming languages and concurrent systems; in particular reasoning about. Below are some papers, talks and events; for more follow the links above. On Executable Models of Molecular Evolution. Kwiatkowski and Stark, June 2011. ( PDF. Stark, January 2008. LFCS lab lunch,.
lambda.jstolarek.com
Yet Another Lambda Blog » general
http://lambda.jstolarek.com/category/general
Middot; Comments RSS. Yet Another Lambda Blog. A language that doesn't affect the way you think about programming, is not worth knowing. Moving to University of Edinburgh. Project under supervision of James Cheney. This means that from now on I will mostly focus on developing the Links programming language. Coq’Art, CPDT and SF: a review of books on Coq proof assistant. 8220;Interactive Theorem Proving and Program Development. Coq’Art: The Calculus of Inductive Constructions”. CPDT) by Adam Chlipala and.