User contributions
From WG 2.11
(newest | oldest) View (newer 50 | older 50) (20 | 50 | 100 | 250 | 500)
- 13:31, 19 May 2019 (diff | hist) . . (0) . . WG211/M19Schedule (→Talks)
- 13:30, 19 May 2019 (diff | hist) . . (+52) . . WG211/M19Schedule (→Talks)
- 15:49, 13 May 2019 (diff | hist) . . (0) . . Main Page (spelling)
- 15:49, 13 May 2019 (diff | hist) . . (0) . . Main Page (admin roles)
- 15:47, 13 May 2019 (diff | hist) . . (-170) . . Main Page (remove 3 members. New ones coming soon.)
- 15:09, 4 May 2019 (diff | hist) . . (0) . . N File:WG211 M19 Carette.pdf (current)
- 15:07, 4 May 2019 (diff | hist) . . (+41) . . WG211/M19Schedule (→Talks)
- 15:26, 23 April 2019 (diff | hist) . . (+56) . . WG211/M19Schedule (→Travel)
- 19:57, 11 April 2019 (diff | hist) . . (+50) . . WG211/M19Carette (current)
- 19:54, 11 April 2019 (diff | hist) . . (+15) . . WG211/M19Schedule (→Attendance)
- 19: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...")
- 19:45, 11 April 2019 (diff | hist) . . (+63) . . WG211/M19Schedule (→Talks)
- 21:59, 12 February 2019 (diff | hist) . . (+17) . . WG211/M19Schedule (→Attendance)
- 14:38, 11 June 2018 (diff | hist) . . (0) . . N File:M18Carette-Slides.pdf (current)
- 14:37, 11 June 2018 (diff | hist) . . (+44) . . WG211/M18Schedule (→Attendance)
- 18: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:03, 15 May 2018 (diff | hist) . . (+80) . . WG211/M18Schedule (→Talks)
- 18:27, 2 May 2018 (diff | hist) . . (+71) . . WG211/M18Schedule (→Travel)
- 18:25, 2 May 2018 (diff | hist) . . (+82) . . WG211/M18Schedule (→Travel)
- 01:07, 3 April 2018 (diff | hist) . . (+88) . . WG211/M18Schedule (→Joint trips before/after the meeting)
- 15:07, 9 March 2018 (diff | hist) . . (+17) . . m WG211/M18Schedule (→Attendance)
- 21: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:12, 28 June 2017 (diff | hist) . . (+36) . . m WG211/M17Schedule (→Talks)
- 02:50, 7 April 2017 (diff | hist) . . (+44) . . WG211/M17Schedule (→Talks)
- 02:49, 7 April 2017 (diff | hist) . . (+17) . . m WG211/M17Schedule (→Attendance)
- 19:59, 25 August 2016 (diff | hist) . . (0) . . N File:M16Carette-Slides.pdf (current)
- 19:59, 25 August 2016 (diff | hist) . . (0) . . WG211/M16Schedule (→Talks)
- 19:58, 25 August 2016 (diff | hist) . . (+44) . . WG211/M16Schedule (→Talks)
- 15: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:15, 12 August 2016 (diff | hist) . . (+72) . . WG211/M16Schedule (→Talks)
- 21:34, 9 June 2016 (diff | hist) . . (+21) . . WG211/M16Schedule (→Talks)
- 21:34, 9 June 2016 (diff | hist) . . (+17) . . WG211/M16Schedule (→Attendance)
- 15:54, 12 November 2015 (diff | hist) . . (+18) . . N File:M15Carette-Slides.pdf (slides for my talk) (current)
- 15:52, 12 November 2015 (diff | hist) . . (+44) . . WG211/M15Schedule (add slides)
- 15: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:50, 26 October 2015 (diff | hist) . . (+24) . . WG211/M15Schedule (→Talks)
- 20:20, 27 August 2015 (diff | hist) . . (+22) . . m WG211/M15Schedule (→Talks and Schedule)
- 20:07, 27 August 2015 (diff | hist) . . (+17) . . WG211/M15Schedule (→Attendance)
- 01:41, 25 February 2014 (diff | hist) . . (+31) . . WG211/M13Schedule (→Talks)
- 15:33, 16 December 2013 (diff | hist) . . (+18) . . WG211/M13Schedule (→Attendees)
- 21:01, 28 May 2013 (diff | hist) . . (+630) . . WG211/M12Carette (current)
- 20:56, 28 May 2013 (diff | hist) . . (-5) . . WG211/M12Schedule (→Talks)
- 20:54, 28 May 2013 (diff | hist) . . (+15) . . N WG211/M12Carette (Created page with "''Viewing PLs''")
- 20:53, 28 May 2013 (diff | hist) . . (+62) . . WG211/M12Schedule (→Talks)
- 16:14, 9 March 2013 (diff | hist) . . (+45) . . WG211/M12Schedule (→Talks)
- 16:12, 9 March 2013 (diff | hist) . . (+18) . . WG211/M12Schedule (→Attendees)
(newest | oldest) View (newer 50 | older 50) (20 | 50 | 100 | 250 | 500)
