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
29 March 2022
- 18:1518:15, 29 March 2022 diff hist +25 Main Page →Current Activity
- 18:1418:14, 29 March 2022 diff hist +36 Main Page →Current Activity
- 18:1218:12, 29 March 2022 diff hist +77 WG211/M21Schedule No edit summary
- 18:1118:11, 29 March 2022 diff hist +891 WG211/M21Schedule →Talks
- 18:1118:11, 29 March 2022 diff hist +192 WG211/M21Schedule →Talks
- 18:1018:10, 29 March 2022 diff hist +13 WG211/M21Schedule No edit summary
- 18:0918:09, 29 March 2022 diff hist +198 WG211/M21Schedule →Attendance
21 July 2020
- 16:1816:18, 21 July 2020 diff hist −93 Main Page The chairs list no longer works.
4 February 2020
- 20:0020:00, 4 February 2020 diff hist +1,728 N WG211/M20Zaytsev Created page with "Title: BabyCOBOL: The Challenge to Program Generation Tool Developers On one side of the gap we have academic researchers developing new techniques of language processing in..." current
- 19:5919:59, 4 February 2020 diff hist +1,385 N WG211/M20Kiselyov Created page with "Title: Session Types without Sophistry: Practical embedding of DSLs with sophisticated type systems Abstract: Whereas ordinary types approximate the results, session types ap..." current
- 19:5819:58, 4 February 2020 diff hist +278 WG211/M20Schedule →Talks
31 January 2020
20 January 2020
- 21:2821:28, 20 January 2020 diff hist +20 WG211/M20Schedule →Attendance
- 18:1318:13, 20 January 2020 diff hist +3,284 N WG211/M20Visser Created page with "Title: Constructing Hybrid Incremental Compilers for Cross-Module Extensibility with an Internal Build System Joint work with: Jeff Smits, Gabriël Konat (TU Delft) Abstract..." current
- 18:1218:12, 20 January 2020 diff hist 0 WG211/M20Schedule →Talks
- 18:1218:12, 20 January 2020 diff hist +140 m WG211/M20Schedule →Talks
- 18:1018:10, 20 January 2020 diff hist +1 WG211/M20Schedule →Attendance
17 January 2020
16 January 2020
13 January 2020
6 January 2020
19 December 2019
- 18:5918:59, 19 December 2019 diff hist +16 WG211/M20Schedule →Attendance
- 15:0015:00, 19 December 2019 diff hist +15 WG211/M20Schedule →Attendance
12 December 2019
6 December 2019
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