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 Jeremy-g
From WG 2.11
Jump to navigationJump to search
5 December 2024
- 19:1119:11, 5 December 2024 diff hist −8 WG211/M24Gibbons No edit summary current
- 19:1119:11, 5 December 2024 diff hist +2 WG211/M24Gibbons No edit summary
- 19:1119:11, 5 December 2024 diff hist +43 WG211/M24Gibbons No edit summary
- 19:1019:10, 5 December 2024 diff hist +95 N File:Wg211-20241202.pdf Slides for "Continuation-Passing Style, Defunctionalization, Accumulations, and Associativity". current
9 October 2024
- 16:1716:17, 9 October 2024 diff hist −3 WG211/M24Gibbons No edit summary
- 16:1416:14, 9 October 2024 diff hist +100 N WG211/M24Gibbons Created page with "I'll talk about [[this paper][https://www.cs.ox.ac.uk/publications/publication14659-abstract.html]]."
- 16:1316:13, 9 October 2024 diff hist +131 WG211/M24Schedule No edit summary
- 10:0210:02, 9 October 2024 diff hist +17 WG211/M24Schedule No edit summary
8 April 2023
- 18:2218:22, 8 April 2023 diff hist 0 N File:M22-Gibbons.pdf No edit summary current
- 18:2218:22, 8 April 2023 diff hist +18 WG211/M22Gibbons →Breadth-First Traversal Via Staging current
- 18:1918:19, 8 April 2023 diff hist +989 N WG211/M22Gibbons Created page with " == Breadth-First Traversal Via Staging == Jeremy Gibbons (joint work with Oisin Kidney, Tom Schrijvers, Nick Wu) An effectful traversal of a data structure iterates over ev..."
- 18:1518:15, 8 April 2023 diff hist +61 WG211/M22Schedule →Monday April 3rd in Snijderzaal
12 February 2023
- 17:4717:47, 12 February 2023 diff hist +17 WG211/M22Schedule No edit summary
1 May 2019
- 02:4002:40, 1 May 2019 diff hist +48 WG211/M19Schedule →Talks
- 02:3902:39, 1 May 2019 diff hist +41 N File:Wg211m19-20190429-edited.pdf JG's slides on Asymmetric Numeral Systems current
26 April 2019
- 20:0020:00, 26 April 2019 diff hist +500 N WG211/M19Gibbons Created page with "Asymmetric Numeral Systems (ANS) are an entropy-based encoding method introduced by Jarek Duda in 2013, combining the Shannon-optimal compression ''effectiveness'' of arithmet..." current
- 19:5819:58, 26 April 2019 diff hist +23 WG211/M19Schedule →Talks
23 April 2019
- 11:1411:14, 23 April 2019 diff hist −83 WG211/M19Schedule →Talks
22 April 2019
- 20:5920:59, 22 April 2019 diff hist +26 WG211/M19Schedule uote>
- 20:5820:58, 22 April 2019 diff hist +163 WG211/M19Schedule →Travel
1 April 2019
- 12:4212:42, 1 April 2019 diff hist +99 WG211/M19Schedule No edit summary
8 June 2018
- 20:1320:13, 8 June 2018 diff hist +10 WG211/M18Schedule →Talks
- 20:1020:10, 8 June 2018 diff hist +24 WG211/M18Schedule →Talks
- 20:0820:08, 8 June 2018 diff hist +53 N File:JG-WG211m18.pdf Slides for "Relational Algebra by Way of Adjunctions" current
6 June 2018
- 14:4714:47, 6 June 2018 diff hist +1,124 WG211/M18Schedule →Joint trips before/after the meeting
- 14:3314:33, 6 June 2018 diff hist +2 WG211/M15Schedule →Talks current
- 14:3314:33, 6 June 2018 diff hist +76 WG211/M15Schedule →Talks
- 14:2914:29, 6 June 2018 diff hist −4 WG211/M16Schedule →Talks current
- 14:2814:28, 6 June 2018 diff hist +82 WG211/M16Schedule →Talks
3 June 2018
23 May 2018
- 13:0213:02, 23 May 2018 diff hist −65 WG211/M18Schedule →Talks
- 12:3112:31, 23 May 2018 diff hist −33 WG211/M18Gibbons No edit summary current
- 12:3012:30, 23 May 2018 diff hist +352 WG211/M18Gibbons No edit summary
- 12:2412:24, 23 May 2018 diff hist +900 N WG211/M18Gibbons2 Created page with "'''Profunctor Optics and the Yoneda Lemma''' by Jeremy Gibbons (based on joint work with Guillaume Boisseau) ''Profunctor optics'' are a neat and composable representation of..." current
- 12:2412:24, 23 May 2018 diff hist +68 WG211/M18Schedule →Talks
9 May 2018
- 12:1612:16, 9 May 2018 diff hist +900 N WG211/M18Gibbons Created page with "'''Profunctor Optics and the Yoneda Lemma''' by Jeremy Gibbons (based on joint work with Guillaume Boisseau) ''Profunctor optics'' are a neat and composable representation of..."
- 12:1212:12, 9 May 2018 diff hist +79 WG211/M18Schedule →Talks
- 12:1012:10, 9 May 2018 diff hist +30 WG211/M18Schedule →Travel
- 12:0812:08, 9 May 2018 diff hist −1 WG211/M18Schedule →Sento