Publication Desugaring Haskell’s do-notation Into Applicative Operations Simon Marlow, Simon Peyton Jones, Edward Kmett, Andrey Mokhov Haskell Symposium | September 2016
Publication How computational models contribute to our understanding of the germ line Kathryn Atwell, Sara-Jane Dunn, James M. Osborne, Hillel Kugler, E. Jane Albert Hubbard Molecular Reproduction and Development | September 2016
Publication ThermalSense: Determining Dynamic Thermal Comfort Preferences Using Thermographic Imaging Juhi Ranjan, James Scott Proceedings of UbiComp 2016 | September 2016 Project
Publication BTR: training asynchronous Boolean models using single-cell expression data Chee Yee Lim, Huange Wang, Steven Woodhouse, Nir Piterman, Lorenz Wernisch, Jasmin Fisher, Berthold Göttgens BMC Bioinformatics | September 2016, Vol 17(355)
Publication A Generic Logic for Proving Linearizability (Extended Version) Artem Khyzha, Alexey Gotsman, Matthew J. Parkinson September 2016 ArXiv | September 2016
Publication How computational models contribute to our understanding of the germ line Kathryn Atwell, Sara-Jane Dunn, James M. Osborne, Hillel Kugler, E. Jane Albert Hubbard Molecular Reproduction and Development | September 2016 Project
Publication Experimental and Causal View on Information Integration in Autonomous Agents Philipp Geiger, Katja Hofmann, Bernhard Schölkopf 6th International Workshop on Combinations of Intelligent Methods and Applications | August 2016 6th International Workshop on Combinations of Intelligent Methods and Applications Project
Publication A lambda-calculus foundation for universal probabilistic programming Johannes Borgström, Andy Gordon, Ugo Dal Lago, Marcin Szymczak International Conference on Functional Programming | August 2016
Publication Safe zero-cost coercions for Haskell Joachim Breitner, Richard Eisenberg, Simon Peyton Jones, Stephanie Weirich Journal of Functional Programming | July 2016, Vol 26
Publication Polylogarithmic-Time Leader Election in Population Protocols Dan Alistarh, Rati Gelashvili July 2016 Accepted to ICALP, track C.
Research
Research