User contributions for Jacques

20 May 2019

• 17:0717:07, 20 May 2019 diff hist +42 WG211/M19Schedule →Talks

19 May 2019

• 14:5414:54, 19 May 2019 diff hist 0 N File:WG211 M19 Yallop.pdf No edit summary current
• 14:5314:53, 19 May 2019 diff hist +66 WG211/M19Schedule →Talks
• 14:3314:33, 19 May 2019 diff hist 0 N File:WG211 M19 Koppel.pptx No edit summary current
• 14:3114:31, 19 May 2019 diff hist 0 WG211/M19Schedule →Talks
• 14:3014:30, 19 May 2019 diff hist +52 WG211/M19Schedule →Talks

13 May 2019

• 16:4916:49, 13 May 2019 diff hist 0 Main Page spelling
• 16:4916:49, 13 May 2019 diff hist 0 Main Page admin roles
• 16:4716:47, 13 May 2019 diff hist −170 Main Page remove 3 members. New ones coming soon.

4 May 2019

• 16:0916:09, 4 May 2019 diff hist 0 N File:WG211 M19 Carette.pdf No edit summary current
• 16:0716:07, 4 May 2019 diff hist +41 WG211/M19Schedule →Talks

23 April 2019

• 16:2616:26, 23 April 2019 diff hist +56 WG211/M19Schedule →Travel

11 April 2019

• 20:5720:57, 11 April 2019 diff hist +50 WG211/M19Carette No edit summary current
• 20:5420:54, 11 April 2019 diff hist +15 WG211/M19Schedule →Attendance
• 20:4920:49, 11 April 2019 diff hist +452 N WG211/M19Carette Created page with "When a programming language doesn't have the features you want, WG2.11 people always do the same thing: implement a PL on top of them to get the job done. Here we find Agda's..."
• 20:4520:45, 11 April 2019 diff hist +63 WG211/M19Schedule →Talks

12 February 2019

• 22:5922:59, 12 February 2019 diff hist +17 WG211/M19Schedule →Attendance

11 June 2018

• 15:3815:38, 11 June 2018 diff hist 0 N File:M18Carette-Slides.pdf No edit summary current
• 15:3715:37, 11 June 2018 diff hist +44 WG211/M18Schedule →Attendance

15 May 2018

• 19:1319:13, 15 May 2018 diff hist +1,051 N WG211/M18Carette Created page with "It is well-known that Monoids and Lists are related: Lists are ''the'' Free Monoid on a type. One can formalize this completely: there is an adjunction between the theory of M..." current
• 19:0319:03, 15 May 2018 diff hist +80 WG211/M18Schedule →Talks

2 May 2018

• 19:2719:27, 2 May 2018 diff hist +71 WG211/M18Schedule →Travel
• 19:2519:25, 2 May 2018 diff hist +82 WG211/M18Schedule →Travel

3 April 2018

• 02:0702:07, 3 April 2018 diff hist +88 WG211/M18Schedule →Joint trips before/after the meeting

9 March 2018

• 16:0716:07, 9 March 2018 diff hist +17 m WG211/M18Schedule →Attendance

28 June 2017

• 22:1622:16, 28 June 2017 diff hist +381 N WG211/M17Carette Created page with "Drasil is a framework for generating "all" software artifacts from a single source, while maintaining full traceability. We also have GOOL - Generic Object Oriented Language -..." current
• 22:1222:12, 28 June 2017 diff hist +36 m WG211/M17Schedule →Talks

7 April 2017

• 03:5003:50, 7 April 2017 diff hist +44 WG211/M17Schedule →Talks
• 03:4903:49, 7 April 2017 diff hist +17 m WG211/M17Schedule →Attendance

25 August 2016

• 20:5920:59, 25 August 2016 diff hist 0 N File:M16Carette-Slides.pdf No edit summary current
• 20:5920:59, 25 August 2016 diff hist 0 WG211/M16Schedule →Talks
• 20:5820:58, 25 August 2016 diff hist +44 WG211/M16Schedule →Talks

12 August 2016

• 16:2216:22, 12 August 2016 diff hist +730 N WG211/M16Carette Created page with "I will present some ongoing work that seeks to generate all the artefacts involved in software (obviously code, but also specification documents, design documents, tests, user..." current
• 16:1516:15, 12 August 2016 diff hist +72 WG211/M16Schedule →Talks

9 June 2016

• 22:3422:34, 9 June 2016 diff hist +21 WG211/M16Schedule →Talks
• 22:3422:34, 9 June 2016 diff hist +17 WG211/M16Schedule →Attendance

12 November 2015

• 16:5416:54, 12 November 2015 diff hist +18 N File:M15Carette-Slides.pdf slides for my talk current
• 16:5216:52, 12 November 2015 diff hist +44 WG211/M15Schedule add slides

26 October 2015

• 16:5316:53, 26 October 2015 diff hist +626 N WG211/M15Carette Created page with "Starting with a probabilistic program, we want another program that denotes the same measure but runs more efficiently and reads more easily. We approach this longstanding chall..." current
• 16:5016:50, 26 October 2015 diff hist +24 WG211/M15Schedule →Talks

27 August 2015

• 21:2021:20, 27 August 2015 diff hist +22 m WG211/M15Schedule →Talks and Schedule
• 21:0721:07, 27 August 2015 diff hist +17 WG211/M15Schedule →Attendance

25 February 2014

• 02:4102:41, 25 February 2014 diff hist +31 WG211/M13Schedule →Talks

16 December 2013

• 16:3316:33, 16 December 2013 diff hist +18 WG211/M13Schedule →Attendees

28 May 2013

• 22:0122:01, 28 May 2013 diff hist +630 WG211/M12Carette No edit summary current
• 21:5621:56, 28 May 2013 diff hist −5 WG211/M12Schedule →Talks
• 21:5421:54, 28 May 2013 diff hist +15 N WG211/M12Carette Created page with "''Viewing PLs''"
• 21:5321:53, 28 May 2013 diff hist +62 WG211/M12Schedule →Talks

9 March 2013

• 17:1417:14, 9 March 2013 diff hist +45 WG211/M12Schedule →Talks
• 17:1217:12, 9 March 2013 diff hist +18 WG211/M12Schedule →Attendees