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 Edwin
From WG 2.11
Jump to navigationJump to search
5 December 2024
- 15:4015:40, 5 December 2024 diff hist +2 m Main Page →Current Members
3 October 2024
- 11:1011:10, 3 October 2024 diff hist +509 N WG211/M24Brady Created page with " == "Normalisation by Compilation": Typechecking Dependent Types via the Scheme Runtime == I will describe the progress on a new implementation of the Idris core, which aims..." current
- 11:0711:07, 3 October 2024 diff hist +110 WG211/M24Schedule →Talks
- 11:0411:04, 3 October 2024 diff hist +14 WG211/M24Schedule →Attendance
3 April 2023
13 January 2023
12 January 2023
11 August 2022
- 01:4701:47, 11 August 2022 diff hist +1 WG211/M21Schedule →Talks
- 01:4301:43, 11 August 2022 diff hist +94 N WG211/M21Brady Created page with "Joint work with Chris Brown, Susmit Sarker, Adam Barwell and Simon Thompson. More details TBA." current
- 01:4101:41, 11 August 2022 diff hist +80 WG211/M21Schedule →Talks
2 August 2022
25 July 2022
29 March 2022
- 17:3617:36, 29 March 2022 diff hist +398 N WG211/M21Schedule Created page with "=IFIP Working Group 2.11, Twenty-first Meeting= == August 15th-18th in Odense, Denmark == The meeting will be held in Odense, Denmark, hosted by Ulrik Pagh Schultz. The mee..."
14 July 2020
- 19:4819:48, 14 July 2020 diff hist −70 Main Page →Current Activity
- 19:4719:47, 14 July 2020 diff hist +62 Main Page →Past Activity
- 19:4519:45, 14 July 2020 diff hist 0 m Main Page →Current Members
- 19:4419:44, 14 July 2020 diff hist −61 Main Page →Current Members
17 February 2020
- 12:1412:14, 17 February 2020 diff hist +32 WG211/M20Schedule →Talks
- 12:1312:13, 17 February 2020 diff hist +32 WG211/M20Schedule →Scientific program
- 12:1212:12, 17 February 2020 diff hist +22 WG211/M20Schedule →Program / schedule
- 09:1409:14, 17 February 2020 diff hist +25 WG211/M20Schedule →Scientific program
16 February 2020
15 February 2020
14 February 2020
- 21:1121:11, 14 February 2020 diff hist −1 WG211/M20Schedule →Scientific program
- 21:1121:11, 14 February 2020 diff hist +1,027 WG211/M20Schedule →Scientific program
13 February 2020
- 00:1500:15, 13 February 2020 diff hist +13 m WG211/M20Schedule →Talks
- 00:1400:14, 13 February 2020 diff hist +66 WG211/M20Schedule →Talks
11 February 2020
- 15:5715:57, 11 February 2020 diff hist +549 N WG211/M20Kameyama Created page with "Cheney et al.'s framework for Language-integrated Query performs program transformation and code generation to obtain a single SQL query from an arbitrary query in the sourc..." current
- 15:5615:56, 11 February 2020 diff hist +112 WG211/M20Schedule →Talks
- 11:3311:33, 11 February 2020 diff hist +110 WG211/M20Schedule →Talks
- 00:4000:40, 11 February 2020 diff hist −1 WG211/M20Schedule →Talks
- 00:3800:38, 11 February 2020 diff hist +134 WG211/M20Schedule →Talks
10 February 2020
- 22:3022:30, 10 February 2020 diff hist +70 WG211/M20Schedule →Talks
- 22:1922:19, 10 February 2020 diff hist +39 WG211/M20Schedule →Talks
- 22:1822:18, 10 February 2020 diff hist +59 WG211/M20Schedule →Talks
4 February 2020
31 January 2020
19 June 2019
- 12:1412:14, 19 June 2019 diff hist +194 Main Page →Related events
- 12:0812:08, 19 June 2019 diff hist +193 m WG211/M20Schedule →Talks
- 12:0612:06, 19 June 2019 diff hist +1,534 N WG211/M20Schedule Add placeholder page for Paris meeting
- 12:0212:02, 19 June 2019 diff hist 0 Main Page →Current Activity
- 12:0012:00, 19 June 2019 diff hist +60 Main Page →Past Activity
- 11:5911:59, 19 June 2019 diff hist +89 Main Page →Current Members
6 May 2019
- 02:1402:14, 6 May 2019 diff hist 0 m Main Page →Current Members
4 November 2015
- 13:4913:49, 4 November 2015 diff hist +33 m WG211/M15Schedule →Talks
- 13:3713:37, 4 November 2015 diff hist +23 m WG211/M15Schedule →Attendance
27 June 2012
- 09:0709:07, 27 June 2012 diff hist −2 m WG211/M11Schedule →monday
- 09:0309:03, 27 June 2012 diff hist +39 WG211/M11Schedule →monday
- 09:0209:02, 27 June 2012 diff hist 0 N File:Idris-wg211.pdf No edit summary current