On Friday October 17, this site was moved to a new server, https://mw.hh.se. The original address will continue to work. Whithin a week or two this site will return to the original address. /Peo HH IT-dep
Search results
From WG 2.11
Jump to navigationJump to search
- Kevin Hammond and Edwin Brady, already arrived, staying at University Place Hotel ...425 bytes (55 words) - 12:06, 12 December 2011
- Kevin Hammond ...601 bytes (86 words) - 12:06, 12 December 2011
- ...ng: Forming Parallel Haskell Programs using Novel Refactoring Technique''' Kevin Hammond ...757 bytes (102 words) - 12:06, 12 December 2011
- ''Energy Usage for Parallel Haskell Programs'' by Kevin Hammond ...666 bytes (99 words) - 09:19, 22 April 2019
- This is joint work with Kevin Williams ...918 bytes (135 words) - 19:19, 6 January 2015
- ...he newly started European H2020 project ''TeamPlay'' that (amongst others) Kevin Hammond and I are taking part in. From the webpage: ...1 KB (180 words) - 11:43, 30 May 2018
- Kevin Hammond, Session chair: Kevin Hammond ...6 KB (827 words) - 15:26, 16 December 2011
- ..., Charles Consel, William Cook, Olivier Danvy, Jens Doerre, Bernd Fischer, Kevin Hammond, Christoph Herrmann, Mark A Hills, Yukiyoshi Kameyama, Samuel Kamin ...ng: Forming Parallel Haskell Programs using Novel Refactoring Technique ]] Kevin Hammond<br> ...7 KB (1,054 words) - 12:57, 20 December 2011
- ...Brady, Jacques Carette, Charles Consel (M-W), Ewen Denney, Jeremy Gibbons, Kevin Hammond (M-W), Christian Kaestner (M-W), Oleg Kiselyov, Ralf Laemmel, Julia Kevin Hammond [[WG211/M16Hammond | Farms, Pipes, Streams and Reforestation: Reaso ...9 KB (1,237 words) - 14:29, 6 June 2018
- Sandrine Blazy, Jacques Carette, Charles Consel, Franz Franchetti, Kevin Hammond, Atsushi Igarashi, Christian Kaestner, Samuel Kamin, Ralf Lämmel, J * [[WG211/M13Hammond | Using Dependent Types for Parallel Programming]] Kevin Hammond ...11 KB (1,659 words) - 22:55, 8 April 2014
- Kevin Hammond, University of St Andrews ...3 KB (484 words) - 16:44, 16 December 2011
- # (Saturday) Embedded Systems (Organizers: Kevin Hammond, Paul Kelly. Participants: Walid, Albert Cohen [Sat only], Oleg, Organizers: Paul Kelly and Kevin Hammond ...15 KB (1,947 words) - 15:39, 16 December 2011
- * Kevin: arr KIX 02 Jun 2018 20:30 on CA0161; dep KIX 11 Jun 2018 16:25 on CA0928 Kevin Hammond, ...17 KB (2,543 words) - 17:44, 8 July 2018
- Session chair: Kevin Hammond Kevin Hammond, University of St. Andrews ...8 KB (1,194 words) - 17:22, 16 December 2011
- Kevin Hammond, * Kevin Hammond [[WG211/M19Hammond | Energy Usage for Parallel Haskell Programs]] ( ...12 KB (1,719 words) - 02:26, 22 May 2019
- |[http://www.cs.st-andrews.ac.uk/~kh/Home/Home.html Kevin Hammond] (UK) ...6 KB (917 words) - 16:13, 27 August 2025
- * Kevin Hammond 11:40 Talk 8 Short (Jeremy Y., Julia, Kevin) ...11 KB (1,662 words) - 12:51, 28 April 2023
- Kevin Hammond, ...8 KB (1,198 words) - 15:40, 16 December 2011
- ...ady, William Cook, Ewen Denney, Simon Dobson, Bernd Fischer, Robert Gl�ck, Kevin Hammond, Christoph Herrmann, Chris Jefferson, Steffen Jost, Christian K�stn ...8 KB (1,257 words) - 16:31, 16 December 2011
- * Kevin Hammond * Kevin Hammond [[WG211/M24Hammond | Using Formal Methods at Scale in the Delivery ...17 KB (2,513 words) - 17:23, 5 December 2024
