User contributions for Jacques
From WG 2.11
Jump to navigationJump to search
19 November 2019
18 November 2019
- 19:5019:50, 18 November 2019 diff hist +12 WG211/M20Schedule →Attendance
- 15:2215:22, 18 November 2019 diff hist +14 WG211/M20Schedule →Attendance
30 August 2019
- 19:5919:59, 30 August 2019 diff hist +11 Main Page →Mailing list
- 19:5619:56, 30 August 2019 diff hist −11 m Main Page →Mailing list
22 May 2019
- 01:2701:27, 22 May 2019 diff hist +1,496 N WG211/M19Visser Created page with "In this talk I present the design of Statix, a new constraint-based language for the executable specification of type systems. Statix specifications consist of predicates that..." current
- 01:2601:26, 22 May 2019 diff hist 0 N File:WG211 M19 Visser.pdf No edit summary current
- 01:2601:26, 22 May 2019 diff hist +40 WG211/M19Schedule →Talks current
20 May 2019
- 16:0716:07, 20 May 2019 diff hist 0 N File:WG211 M19 Mainland.pdf No edit summary current
- 16:0716:07, 20 May 2019 diff hist +42 WG211/M19Schedule →Talks
19 May 2019
- 13:5413:54, 19 May 2019 diff hist 0 N File:WG211 M19 Yallop.pdf No edit summary current
- 13:5313:53, 19 May 2019 diff hist +66 WG211/M19Schedule →Talks
- 13:3313:33, 19 May 2019 diff hist 0 N File:WG211 M19 Koppel.pptx No edit summary current
- 13:3113:31, 19 May 2019 diff hist 0 WG211/M19Schedule →Talks
- 13:3013:30, 19 May 2019 diff hist +52 WG211/M19Schedule →Talks
13 May 2019
- 15:4915:49, 13 May 2019 diff hist 0 Main Page spelling
- 15:4915:49, 13 May 2019 diff hist 0 Main Page admin roles
- 15:4715:47, 13 May 2019 diff hist −170 Main Page remove 3 members. New ones coming soon.
4 May 2019
- 15:0915:09, 4 May 2019 diff hist 0 N File:WG211 M19 Carette.pdf No edit summary current
- 15:0715:07, 4 May 2019 diff hist +41 WG211/M19Schedule →Talks
23 April 2019
- 15:2615:26, 23 April 2019 diff hist +56 WG211/M19Schedule →Travel
11 April 2019
- 19:5719:57, 11 April 2019 diff hist +50 WG211/M19Carette No edit summary current
- 19:5419:54, 11 April 2019 diff hist +15 WG211/M19Schedule →Attendance
- 19:4919: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:4519:45, 11 April 2019 diff hist +63 WG211/M19Schedule →Talks
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
