Search results

Create the page "Edwin" on this wiki! See also the search results found.

• WG211/M3Hammond
  Edwin Brady <br>Speaker: Edwin Brady
  158 bytes (23 words) - 14:25, 16 December 2011
• WG211/M3Schedule
  Edwin Brady, Edwin Brady
  6 KB (827 words) - 15:26, 16 December 2011
• WG211/M4Arrival
  Kevin Hammond and Edwin Brady, already arrived, staying at University Place Hotel
  425 bytes (55 words) - 12:06, 12 December 2011
• WG211/M4Schedule
  Edwin Brady has been looking at the first problem from the types Edwin Brady,
  15 KB (1,947 words) - 15:39, 16 December 2011
• WG211/M5Schedule
  <li> Edwin Brady: A DSL for resource usage verification Edwin Brady,
  8 KB (1,198 words) - 15:40, 16 December 2011
• WG211/M6Schedule
  Edwin Brady
  6 KB (903 words) - 15:43, 16 December 2011
• WG211/M8Schedule
  Baris Aktemur, Sven Apel, Edwin Brady, William Cook, Ewen Denney, Simon Dobson, Bernd Fischer, Robert Gl�
  8 KB (1,257 words) - 16:31, 16 December 2011
• WG211/M9Westbrook
  ==Edwin Westbrook==
  2 KB (237 words) - 16:42, 16 December 2011
• WG211/M11Schedule
  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
• Main Page
  |[https://www.type-driven.org.uk/edwinb Edwin Brady] (UK)
  6 KB (937 words) - 21:17, 30 December 2024
• WG211/M11Brady
  '''Implementing Domain Specific Languages by Syntax Overloading''' by Edwin Brady
  567 bytes (79 words) - 13:15, 12 June 2012
• WG211/M15Schedule
  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
• WG211/M16Schedule
  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
• WG211/M19Schedule
  Edwin Brady, * Edwin Brady [[WG211/M19Brady | Resource Safety with Linear Dependent Types]]
  12 KB (1,719 words) - 02:26, 22 May 2019
• WG211/M19Brady
  ''Resource Safety with Linear Dependent Types'' by Edwin Brady
  633 bytes (103 words) - 13:54, 28 April 2019
• WG211/M20Schedule
  Edwin Brady, Jacques Carette, Ewen Denney, Bernd Fischer, Robert Glück, Kevin Ha * Edwin Brady [[WG211/M20Brady | Quantitative Type Theory in Idris 2]]
  9 KB (1,302 words) - 09:36, 20 February 2020
• WG211/M21Schedule
  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
• WG211/M22Schedule
  * Edwin Brady
  11 KB (1,662 words) - 12:51, 28 April 2023
• WG211/M24Schedule
  * Edwin Brady * Edwin Brady [[WG211/M24Brady | "Normalisation by Compilation": Typechecking Depen
  17 KB (2,513 words) - 17:23, 5 December 2024