User contributions
From WG 2.11
- 14:40, 5 December 2024 (diff | hist) . . (+2) . . m Main Page (→Current Members)
- 10: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:07, 3 October 2024 (diff | hist) . . (+110) . . WG211/M24Schedule (→Talks)
- 10:04, 3 October 2024 (diff | hist) . . (+14) . . WG211/M24Schedule (→Attendance)
- 07:57, 3 April 2023 (diff | hist) . . (+32) . . WG211/M22Schedule (→Monday April 3rd in Snijderzaal)
- 17:54, 13 January 2023 (diff | hist) . . (+14) . . WG211/M22Schedule (→Attendance)
- 18:02, 12 January 2023 (diff | hist) . . (+54) . . WG211/M22Schedule (→Attendance)
- 00:47, 11 August 2022 (diff | hist) . . (+1) . . WG211/M21Schedule (→Talks)
- 00: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:41, 11 August 2022 (diff | hist) . . (+80) . . WG211/M21Schedule (→Talks)
- 16:31, 2 August 2022 (diff | hist) . . (+15) . . WG211/M21Schedule (→Attendance)
- 18:10, 25 July 2022 (diff | hist) . . (+11) . . WG211/M21Schedule (→Attendance)
- 16: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...")
- 18:48, 14 July 2020 (diff | hist) . . (-70) . . Main Page (→Current Activity)
- 18:47, 14 July 2020 (diff | hist) . . (+62) . . Main Page (→Past Activity)
- 18:45, 14 July 2020 (diff | hist) . . (0) . . m Main Page (→Current Members)
- 18:44, 14 July 2020 (diff | hist) . . (-61) . . Main Page (→Current Members)
- 11:14, 17 February 2020 (diff | hist) . . (+32) . . WG211/M20Schedule (→Talks)
- 11:13, 17 February 2020 (diff | hist) . . (+32) . . WG211/M20Schedule (→Scientific program)
- 11:12, 17 February 2020 (diff | hist) . . (+22) . . WG211/M20Schedule (→Program / schedule)
- 08:14, 17 February 2020 (diff | hist) . . (+25) . . WG211/M20Schedule (→Scientific program)
- 22:49, 16 February 2020 (diff | hist) . . (+1,392) . . WG211/M20Schedule (→Scientific program)
- 13:22, 15 February 2020 (diff | hist) . . (+558) . . WG211/M20Schedule (→Scientific program)
- 20:11, 14 February 2020 (diff | hist) . . (-1) . . WG211/M20Schedule (→Scientific program)
- 20:11, 14 February 2020 (diff | hist) . . (+1,027) . . WG211/M20Schedule (→Scientific program)
- 23:15, 12 February 2020 (diff | hist) . . (+13) . . m WG211/M20Schedule (→Talks)
- 23:14, 12 February 2020 (diff | hist) . . (+66) . . WG211/M20Schedule (→Talks)
- 14: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:56, 11 February 2020 (diff | hist) . . (+112) . . WG211/M20Schedule (→Talks)
- 10:33, 11 February 2020 (diff | hist) . . (+110) . . WG211/M20Schedule (→Talks)
- 23:40, 10 February 2020 (diff | hist) . . (-1) . . WG211/M20Schedule (→Talks)
- 23:38, 10 February 2020 (diff | hist) . . (+134) . . WG211/M20Schedule (→Talks)
- 21:30, 10 February 2020 (diff | hist) . . (+70) . . WG211/M20Schedule (→Talks)
- 21:19, 10 February 2020 (diff | hist) . . (+39) . . WG211/M20Schedule (→Talks)
- 21:18, 10 February 2020 (diff | hist) . . (+59) . . WG211/M20Schedule (→Talks)
- 10:20, 4 February 2020 (diff | hist) . . (-20) . . WG211/M20Schedule (→Attendance)
- 13:17, 31 January 2020 (diff | hist) . . (+20) . . WG211/M20Schedule (→Attendance)
- 11:14, 19 June 2019 (diff | hist) . . (+194) . . Main Page (→Related events)
- 11:08, 19 June 2019 (diff | hist) . . (+193) . . m WG211/M20Schedule (→Talks)
- 11:06, 19 June 2019 (diff | hist) . . (+1,534) . . N WG211/M20Schedule (Add placeholder page for Paris meeting)
- 11:02, 19 June 2019 (diff | hist) . . (0) . . Main Page (→Current Activity)
- 11:00, 19 June 2019 (diff | hist) . . (+60) . . Main Page (→Past Activity)
- 10:59, 19 June 2019 (diff | hist) . . (+89) . . Main Page (→Current Members)
- 01:14, 6 May 2019 (diff | hist) . . (0) . . m Main Page (→Current Members)
- 12:49, 4 November 2015 (diff | hist) . . (+33) . . m WG211/M15Schedule (→Talks)
- 12:37, 4 November 2015 (diff | hist) . . (+23) . . m WG211/M15Schedule (→Attendance)
- 08:07, 27 June 2012 (diff | hist) . . (-2) . . m WG211/M11Schedule (→monday)
- 08:03, 27 June 2012 (diff | hist) . . (+39) . . WG211/M11Schedule (→monday)
- 08:02, 27 June 2012 (diff | hist) . . (0) . . N File:Idris-wg211.pdf (current)
