User contributions for Walid

16 August 2022

• 06:2806:28, 16 August 2022 diff hist +2 m WG211/M21Schedule Added title and link to abstract for talk by Walid Taha on Bean Machine
• 06:2606:26, 16 August 2022 diff hist +1 m WG211/M21Taha Bean Machine current
• 06:2506:25, 16 August 2022 diff hist +1,441 N WG211/M21Taha Bean Machine

17 May 2018

• 12:1312:13, 17 May 2018 diff hist +160 N WG211/M18Taha Created page with "We report on a simple staging exercise, namely, that of starting with an interpreter for a lambda calculus written in Haskell and staging it in Template Haskell" current
• 12:1212:12, 17 May 2018 diff hist +91 WG211/M18Schedule →Talks

16 December 2011

• 17:2217:22, 16 December 2011 diff hist −4 WG211/MeetingTwo No edit summary current
• 17:0017:00, 16 December 2011 diff hist −92 WG211/MeetingTwo →Schedule
• 16:5816:58, 16 December 2011 diff hist −1,006 WG211/MeetingTwo No edit summary
• 16:4916:49, 16 December 2011 diff hist −505 WG211/MeetingTwo No edit summary
• 16:4416:44, 16 December 2011 diff hist −53 WG211/MeetingTwo No edit summary
• 16:4416:44, 16 December 2011 diff hist −55 WG211/MeetingOne No edit summary current
• 16:4216:42, 16 December 2011 diff hist −9 WG211/M9Westbrook No edit summary current
• 16:4016:40, 16 December 2011 diff hist −171 WG211/M9Schedule →Friday current
• 16:3616:36, 16 December 2011 diff hist −169 WG211/M9Schedule →Thursday
• 16:3416:34, 16 December 2011 diff hist −170 WG211/M9Schedule →Wednesday
• 16:3216:32, 16 December 2011 diff hist −1 WG211/M9Laemmel No edit summary current
• 16:3116:31, 16 December 2011 diff hist −718 WG211/M8Schedule →Schedule current
• 16:2716:27, 16 December 2011 diff hist 0 WG211/M8Schedule →Program
• 16:2616:26, 16 December 2011 diff hist 0 WG211/M8Schedule →Program
• 16:2516:25, 16 December 2011 diff hist 0 WG211/M8Schedule →Program
• 16:2216:22, 16 December 2011 diff hist −681 WG211/M8Schedule →Program
• 16:1816:18, 16 December 2011 diff hist −1 WG211/M8Laemmel No edit summary current
• 16:1316:13, 16 December 2011 diff hist +2 WG211/M7Schedule No edit summary current
• 16:1216:12, 16 December 2011 diff hist +2 WG211/M7Schedule No edit summary
• 16:0816:08, 16 December 2011 diff hist +1 WG211/M7Schedule No edit summary
• 16:0616:06, 16 December 2011 diff hist −958 WG211/M7Schedule No edit summary
• 15:4315:43, 16 December 2011 diff hist −151 WG211/M6Schedule No edit summary current
• 15:4015:40, 16 December 2011 diff hist −136 WG211/M5Schedule No edit summary current
• 15:3915:39, 16 December 2011 diff hist −122 WG211/M4Schedule No edit summary current
• 15:3715:37, 16 December 2011 diff hist +1 WG211/M3Weirich No edit summary current
• 15:3715:37, 16 December 2011 diff hist −102 WG211/M3Weirich No edit summary
• 15:3615:36, 16 December 2011 diff hist −79 WG211/M3VisserDiscussion No edit summary current
• 15:3515:35, 16 December 2011 diff hist −95 WG211/M3Visser No edit summary current
• 15:3415:34, 16 December 2011 diff hist −7 WG211/M3Veldhuizen No edit summary current
• 15:3215:32, 16 December 2011 diff hist −104 WG211/M3Veldhuizen No edit summary
• 15:3115:31, 16 December 2011 diff hist −91 WG211/M3Taha No edit summary current
• 15:3015:30, 16 December 2011 diff hist +1 WG211/M3Swierstra2 No edit summary current
• 15:3015:30, 16 December 2011 diff hist −98 WG211/M3Swierstra2 No edit summary
• 15:2915:29, 16 December 2011 diff hist −104 WG211/M3Striegnitz No edit summary current
• 15:2815:28, 16 December 2011 diff hist −89 WG211/M3Smaragdakis No edit summary current
• 15:2615:26, 16 December 2011 diff hist −535 WG211/M3Schedule No edit summary current
• 15:2015:20, 16 December 2011 diff hist −100 WG211/M3Schedule No edit summary
• 15:1715:17, 16 December 2011 diff hist −97 WG211/M3Swierstra No edit summary current
• 15:0015:00, 16 December 2011 diff hist +1 WG211/M3Consel No edit summary current
• 14:5814:58, 16 December 2011 diff hist −27 WG211/M3Consel No edit summary
• 14:5114:51, 16 December 2011 diff hist −78 WG211/M3Rauchwerger No edit summary current
• 14:5014:50, 16 December 2011 diff hist −77 WG211/M3ODonnell No edit summary current
• 14:4914:49, 16 December 2011 diff hist −26 WG211/M3Moggi No edit summary current
• 14:4914:49, 16 December 2011 diff hist −107 WG211/M3Pouzet No edit summary current
• 14:4714:47, 16 December 2011 diff hist +1 WG211/M3LopezHerrejon No edit summary current