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