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
- Edwin Brady <br>Speaker: Edwin Brady ...158 bytes (23 words) - 14:25, 16 December 2011
- ==Edwin Westbrook== ...2 KB (237 words) - 16:42, 16 December 2011
- Kevin Hammond and Edwin Brady, already arrived, staying at University Place Hotel ...425 bytes (55 words) - 12:06, 12 December 2011
- '''Implementing Domain Specific Languages by Syntax Overloading''' by Edwin Brady ...567 bytes (79 words) - 13:15, 12 June 2012
- ''Resource Safety with Linear Dependent Types'' by Edwin Brady ...633 bytes (103 words) - 13:54, 28 April 2019
- Edwin Brady, Edwin Brady ...6 KB (827 words) - 15:26, 16 December 2011
- Sandrine Blazy, Edwin Brady, Jacques Carette, Charles Consel (M-W), Ewen Denney, Jeremy Gibbons, Edwin Brady [[WG211/M16Brady | Concurrent programming with dependent types ]] ...9 KB (1,237 words) - 14:29, 6 June 2018
- Edwin Brady, Jacques Carette, Ewen Denney, Bernd Fischer, Robert Glück, Kevin Ham * Edwin Brady [[WG211/M20Brady | Quantitative Type Theory in Idris 2]] ...9 KB (1,302 words) - 09:36, 20 February 2020
- <li> Edwin Brady: A DSL for resource usage verification Edwin Brady, ...8 KB (1,198 words) - 15:40, 16 December 2011
- Sven Apel (Monday+Tuesday), Emilie Balland, Eric Bodden, Edwin Brady, Anthony Cleve (Monday+Tuesday), Olivier Danvy, Ewen Denney, Bernd Fi .../M11Brady | Implementing Domain Specific Languages by Syntax Overloading]] Edwin Brady ...12 KB (1,744 words) - 18:23, 17 July 2013
- Sandrine Blazy, Edwin Brady (not present Nov 12th), Jacques Carette, Alastair Donaldson, Jeremy G Edwin Brady [[WG211/M15Brady | Resource-dependent Algebraic Effects]] ...10 KB (1,386 words) - 14:33, 6 June 2018
- Edwin Brady, * Edwin Brady [[WG211/M19Brady | Resource Safety with Linear Dependent Types]] ...12 KB (1,719 words) - 02:26, 22 May 2019
- Nada Amin, Sandrine Blazy, Edwin Brady, Miguel Campusano, Jacques Carette, Charisee Chiw, Sebastian Erdweg, * Edwin Brady [[WG211/M21Brady | Refactoring for Dependently Typed Languages ]] ...13 KB (2,072 words) - 23:19, 27 February 2023
- |[https://www.type-driven.org.uk/edwinb Edwin Brady] (UK) ...6 KB (917 words) - 16:13, 27 August 2025
- Edwin Brady ...6 KB (903 words) - 15:43, 16 December 2011
- Edwin Brady has been looking at the first problem from the types Edwin Brady, ...15 KB (1,947 words) - 15:39, 16 December 2011
- Baris Aktemur, Sven Apel, Edwin Brady, William Cook, Ewen Denney, Simon Dobson, Bernd Fischer, Robert Gl�ck ...8 KB (1,257 words) - 16:31, 16 December 2011
- * Edwin Brady * Edwin Brady [[WG211/M24Brady | "Normalisation by Compilation": Typechecking Depen ...17 KB (2,513 words) - 17:23, 5 December 2024
- * Edwin Brady ...11 KB (1,662 words) - 12:51, 28 April 2023
