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
- 18:1118:11, 5 December 2024 diff hist −8 WG211/M24Gibbons No edit summary current
- 18:1118:11, 5 December 2024 diff hist +2 WG211/M24Gibbons No edit summary
- 18:1118:11, 5 December 2024 diff hist +43 WG211/M24Gibbons No edit summary
- 18:1018: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
- 15:1715:17, 9 October 2024 diff hist −3 WG211/M24Gibbons No edit summary
- 15:1415: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]]."
- 15:1315:13, 9 October 2024 diff hist +131 WG211/M24Schedule No edit summary
- 09:0209:02, 9 October 2024 diff hist +17 WG211/M24Schedule No edit summary
8 April 2023
- 17:2217:22, 8 April 2023 diff hist 0 N File:M22-Gibbons.pdf No edit summary current
- 17:2217:22, 8 April 2023 diff hist +18 WG211/M22Gibbons →Breadth-First Traversal Via Staging current
- 17:1917: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..."
- 17:1517:15, 8 April 2023 diff hist +61 WG211/M22Schedule →Monday April 3rd in Snijderzaal
12 February 2023
- 16:4716:47, 12 February 2023 diff hist +17 WG211/M22Schedule No edit summary
1 May 2019
- 01:4001:40, 1 May 2019 diff hist +48 WG211/M19Schedule →Talks
- 01:3901:39, 1 May 2019 diff hist +41 N File:Wg211m19-20190429-edited.pdf JG's slides on Asymmetric Numeral Systems current
26 April 2019
- 19:0019: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
- 18:5818:58, 26 April 2019 diff hist +23 WG211/M19Schedule →Talks
23 April 2019
- 10:1410:14, 23 April 2019 diff hist −83 WG211/M19Schedule →Talks
22 April 2019
- 19:5919:59, 22 April 2019 diff hist +26 WG211/M19Schedule uote>
- 19:5819:58, 22 April 2019 diff hist +163 WG211/M19Schedule →Travel
1 April 2019
- 11:4211:42, 1 April 2019 diff hist +99 WG211/M19Schedule No edit summary
8 June 2018
- 19:1319:13, 8 June 2018 diff hist +10 WG211/M18Schedule →Talks
- 19:1019:10, 8 June 2018 diff hist +24 WG211/M18Schedule →Talks
- 19:0819:08, 8 June 2018 diff hist +53 N File:JG-WG211m18.pdf Slides for "Relational Algebra by Way of Adjunctions" current
6 June 2018
- 13:4713:47, 6 June 2018 diff hist +1,124 WG211/M18Schedule →Joint trips before/after the meeting
- 13:3313:33, 6 June 2018 diff hist +2 WG211/M15Schedule →Talks current
- 13:3313:33, 6 June 2018 diff hist +76 WG211/M15Schedule →Talks
- 13:2913:29, 6 June 2018 diff hist −4 WG211/M16Schedule →Talks current
- 13:2813:28, 6 June 2018 diff hist +82 WG211/M16Schedule →Talks
3 June 2018
23 May 2018
- 12:0212:02, 23 May 2018 diff hist −65 WG211/M18Schedule →Talks
- 11:3111:31, 23 May 2018 diff hist −33 WG211/M18Gibbons No edit summary current
- 11:3011:30, 23 May 2018 diff hist +352 WG211/M18Gibbons No edit summary
- 11:2411: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
- 11:2411:24, 23 May 2018 diff hist +68 WG211/M18Schedule →Talks
9 May 2018
- 11:1611: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..."
- 11:1211:12, 9 May 2018 diff hist +79 WG211/M18Schedule →Talks
- 11:1011:10, 9 May 2018 diff hist +30 WG211/M18Schedule →Travel
- 11:0811:08, 9 May 2018 diff hist −1 WG211/M18Schedule →Sento