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