User contributions
From WG 2.11
- 18:11, 5 December 2024 (diff | hist) . . (-8) . . WG211/M24Gibbons (current)
- 18:11, 5 December 2024 (diff | hist) . . (+2) . . WG211/M24Gibbons
- 18:11, 5 December 2024 (diff | hist) . . (+43) . . WG211/M24Gibbons
- 18:10, 5 December 2024 (diff | hist) . . (+95) . . N File:Wg211-20241202.pdf (Slides for "Continuation-Passing Style, Defunctionalization, Accumulations, and Associativity".) (current)
- 15:17, 9 October 2024 (diff | hist) . . (-3) . . WG211/M24Gibbons
- 15: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:13, 9 October 2024 (diff | hist) . . (+131) . . WG211/M24Schedule
- 09:02, 9 October 2024 (diff | hist) . . (+17) . . WG211/M24Schedule
- 17:22, 8 April 2023 (diff | hist) . . (0) . . N File:M22-Gibbons.pdf (current)
- 17:22, 8 April 2023 (diff | hist) . . (+18) . . WG211/M22Gibbons (→Breadth-First Traversal Via Staging) (current)
- 17: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:15, 8 April 2023 (diff | hist) . . (+61) . . WG211/M22Schedule (→Monday April 3rd in Snijderzaal)
- 16:47, 12 February 2023 (diff | hist) . . (+17) . . WG211/M22Schedule
- 01:40, 1 May 2019 (diff | hist) . . (+48) . . WG211/M19Schedule (→Talks)
- 01:39, 1 May 2019 (diff | hist) . . (+41) . . N File:Wg211m19-20190429-edited.pdf (JG's slides on Asymmetric Numeral Systems) (current)
- 19: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:58, 26 April 2019 (diff | hist) . . (+23) . . WG211/M19Schedule (→Talks)
- 10:14, 23 April 2019 (diff | hist) . . (-83) . . WG211/M19Schedule (→Talks)
- 19:59, 22 April 2019 (diff | hist) . . (+26) . . WG211/M19Schedule (uote>)
- 19:58, 22 April 2019 (diff | hist) . . (+163) . . WG211/M19Schedule (→Travel)
- 11:42, 1 April 2019 (diff | hist) . . (+99) . . WG211/M19Schedule
- 19:13, 8 June 2018 (diff | hist) . . (+10) . . WG211/M18Schedule (→Talks)
- 19:10, 8 June 2018 (diff | hist) . . (+24) . . WG211/M18Schedule (→Talks)
- 19:08, 8 June 2018 (diff | hist) . . (+53) . . N File:JG-WG211m18.pdf (Slides for "Relational Algebra by Way of Adjunctions") (current)
- 13:47, 6 June 2018 (diff | hist) . . (+1,124) . . WG211/M18Schedule (→Joint trips before/after the meeting)
- 13:33, 6 June 2018 (diff | hist) . . (+2) . . WG211/M15Schedule (→Talks) (current)
- 13:33, 6 June 2018 (diff | hist) . . (+76) . . WG211/M15Schedule (→Talks)
- 13:29, 6 June 2018 (diff | hist) . . (-4) . . WG211/M16Schedule (→Talks) (current)
- 13:28, 6 June 2018 (diff | hist) . . (+82) . . WG211/M16Schedule (→Talks)
- 14:02, 3 June 2018 (diff | hist) . . (+2) . . WG211/M18Schedule (→Travel)
- 12:02, 23 May 2018 (diff | hist) . . (-65) . . WG211/M18Schedule (→Talks)
- 11:31, 23 May 2018 (diff | hist) . . (-33) . . WG211/M18Gibbons (current)
- 11:30, 23 May 2018 (diff | hist) . . (+352) . . WG211/M18Gibbons
- 11: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:24, 23 May 2018 (diff | hist) . . (+68) . . WG211/M18Schedule (→Talks)
- 11: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:12, 9 May 2018 (diff | hist) . . (+79) . . WG211/M18Schedule (→Talks)
- 11:10, 9 May 2018 (diff | hist) . . (+30) . . WG211/M18Schedule (→Travel)
- 11:08, 9 May 2018 (diff | hist) . . (-1) . . WG211/M18Schedule (→Sento)
- 10:46, 3 April 2018 (diff | hist) . . (+86) . . WG211/M18Schedule (→Travel)
- 10:43, 3 April 2018 (diff | hist) . . (+29) . . WG211/M18Schedule (→Joint trips before/after the meeting)
- 10:41, 3 April 2018 (diff | hist) . . (+9) . . WG211/M18Schedule (→Jeremy's sento suggestion)
