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
- 14:4014:40, 5 December 2024 diff hist +2 m Main Page →Current Members
3 October 2024
- 10:1010: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
- 10:0710:07, 3 October 2024 diff hist +110 WG211/M24Schedule →Talks
- 10:0410:04, 3 October 2024 diff hist +14 WG211/M24Schedule →Attendance
3 April 2023
13 January 2023
12 January 2023
11 August 2022
- 00:4700:47, 11 August 2022 diff hist +1 WG211/M21Schedule →Talks
- 00:4300: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
- 00:4100:41, 11 August 2022 diff hist +80 WG211/M21Schedule →Talks
2 August 2022
25 July 2022
29 March 2022
- 16:3616: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
- 18:4818:48, 14 July 2020 diff hist −70 Main Page →Current Activity
- 18:4718:47, 14 July 2020 diff hist +62 Main Page →Past Activity
- 18:4518:45, 14 July 2020 diff hist 0 m Main Page →Current Members
- 18:4418:44, 14 July 2020 diff hist −61 Main Page →Current Members
17 February 2020
- 11:1411:14, 17 February 2020 diff hist +32 WG211/M20Schedule →Talks
- 11:1311:13, 17 February 2020 diff hist +32 WG211/M20Schedule →Scientific program
- 11:1211:12, 17 February 2020 diff hist +22 WG211/M20Schedule →Program / schedule
- 08:1408:14, 17 February 2020 diff hist +25 WG211/M20Schedule →Scientific program
16 February 2020
15 February 2020
14 February 2020
- 20:1120:11, 14 February 2020 diff hist −1 WG211/M20Schedule →Scientific program
- 20:1120:11, 14 February 2020 diff hist +1,027 WG211/M20Schedule →Scientific program
12 February 2020
- 23:1523:15, 12 February 2020 diff hist +13 m WG211/M20Schedule →Talks
- 23:1423:14, 12 February 2020 diff hist +66 WG211/M20Schedule →Talks
11 February 2020
- 14:5714: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
- 14:5614:56, 11 February 2020 diff hist +112 WG211/M20Schedule →Talks
- 10:3310:33, 11 February 2020 diff hist +110 WG211/M20Schedule →Talks
10 February 2020
- 23:4023:40, 10 February 2020 diff hist −1 WG211/M20Schedule →Talks
- 23:3823:38, 10 February 2020 diff hist +134 WG211/M20Schedule →Talks
- 21:3021:30, 10 February 2020 diff hist +70 WG211/M20Schedule →Talks
- 21:1921:19, 10 February 2020 diff hist +39 WG211/M20Schedule →Talks
- 21:1821:18, 10 February 2020 diff hist +59 WG211/M20Schedule →Talks
4 February 2020
31 January 2020
19 June 2019
- 11:1411:14, 19 June 2019 diff hist +194 Main Page →Related events
- 11:0811:08, 19 June 2019 diff hist +193 m WG211/M20Schedule →Talks
- 11:0611:06, 19 June 2019 diff hist +1,534 N WG211/M20Schedule Add placeholder page for Paris meeting
- 11:0211:02, 19 June 2019 diff hist 0 Main Page →Current Activity
- 11:0011:00, 19 June 2019 diff hist +60 Main Page →Past Activity
- 10:5910:59, 19 June 2019 diff hist +89 Main Page →Current Members
6 May 2019
- 01:1401:14, 6 May 2019 diff hist 0 m Main Page →Current Members
4 November 2015
- 12:4912:49, 4 November 2015 diff hist +33 m WG211/M15Schedule →Talks
- 12:3712:37, 4 November 2015 diff hist +23 m WG211/M15Schedule →Attendance
27 June 2012
- 08:0708:07, 27 June 2012 diff hist −2 m WG211/M11Schedule →monday
- 08:0308:03, 27 June 2012 diff hist +39 WG211/M11Schedule →monday
- 08:0208:02, 27 June 2012 diff hist 0 N File:Idris-wg211.pdf No edit summary current
