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
12 February 2019
11 June 2018
- 14:3814:38, 11 June 2018 diff hist 0 N File:M18Carette-Slides.pdf No edit summary current
- 14:3714:37, 11 June 2018 diff hist +44 WG211/M18Schedule →Attendance
15 May 2018
- 18:1318: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
- 18:0318:03, 15 May 2018 diff hist +80 WG211/M18Schedule →Talks
2 May 2018
- 18:2718:27, 2 May 2018 diff hist +71 WG211/M18Schedule →Travel
- 18:2518:25, 2 May 2018 diff hist +82 WG211/M18Schedule →Travel
3 April 2018
9 March 2018
- 15:0715:07, 9 March 2018 diff hist +17 m WG211/M18Schedule →Attendance
28 June 2017
- 21:1621: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
- 21:1221:12, 28 June 2017 diff hist +36 m WG211/M17Schedule →Talks
7 April 2017
- 02:5002:50, 7 April 2017 diff hist +44 WG211/M17Schedule →Talks
- 02:4902:49, 7 April 2017 diff hist +17 m WG211/M17Schedule →Attendance
25 August 2016
- 19:5919:59, 25 August 2016 diff hist 0 N File:M16Carette-Slides.pdf No edit summary current
- 19:5919:59, 25 August 2016 diff hist 0 WG211/M16Schedule →Talks
- 19:5819:58, 25 August 2016 diff hist +44 WG211/M16Schedule →Talks
12 August 2016
- 15:2215: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
- 15:1515:15, 12 August 2016 diff hist +72 WG211/M16Schedule →Talks
9 June 2016
- 21:3421:34, 9 June 2016 diff hist +21 WG211/M16Schedule →Talks
- 21:3421:34, 9 June 2016 diff hist +17 WG211/M16Schedule →Attendance
12 November 2015
- 15:5415:54, 12 November 2015 diff hist +18 N File:M15Carette-Slides.pdf slides for my talk current
- 15:5215:52, 12 November 2015 diff hist +44 WG211/M15Schedule add slides
26 October 2015
- 15:5315: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
- 15:5015:50, 26 October 2015 diff hist +24 WG211/M15Schedule →Talks
27 August 2015
- 20:2020:20, 27 August 2015 diff hist +22 m WG211/M15Schedule →Talks and Schedule
- 20:0720:07, 27 August 2015 diff hist +17 WG211/M15Schedule →Attendance
25 February 2014
16 December 2013
28 May 2013
- 21:0121:01, 28 May 2013 diff hist +630 WG211/M12Carette No edit summary current
- 20:5620:56, 28 May 2013 diff hist −5 WG211/M12Schedule →Talks
- 20:5420:54, 28 May 2013 diff hist +15 N WG211/M12Carette Created page with "''Viewing PLs''"
- 20:5320:53, 28 May 2013 diff hist +62 WG211/M12Schedule →Talks
9 March 2013
- 16:1416:14, 9 March 2013 diff hist +45 WG211/M12Schedule →Talks
- 16:1216:12, 9 March 2013 diff hist +18 WG211/M12Schedule →Attendees
