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
User contributions for Jacques
From WG 2.11
Jump to navigationJump to search
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
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
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
16 December 2013
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