February 2025 Archives by thread

• Messages sorted by: [ subject ] [ author ] [ date ]
• More info on this list...

Starting: Mon Feb 3 14:37:28 UTC 2025
Ending: Fri Feb 21 15:54:58 UTC 2025
Messages: 14

• [Haskell-cafe] Midlands Graduate School 2025 hosted by the University of Sheffield   Andrei Popescu
  • [Haskell-cafe] Registration now open -- Re: Midlands Graduate School 2025 hosted by the University of Sheffield   Andrei Popescu
• [Haskell-cafe] PhD Position: Verification of Golang using Interactive Theorem Proving (Application Deadline 2025-02-10)   Achim D. Brucker
• [Haskell-cafe] [ANN] NASA's Ogma 1.6.0   Ivan Perez
• [Haskell-cafe] Course-of-value recursion by defining a sequence as a self-referential infinite list   Pranshu Sharma
  • [Haskell-cafe] Course-of-value recursion by defining a sequence as a self-referential infinite list   Douglas McIlroy
  • [Haskell-cafe] Course-of-value recursion by defining a sequence as a self-referential infinite list   Kim-Ee Yeoh
  • [Haskell-cafe] Course-of-value recursion by defining a sequence as a self-referential infinite list   Vanessa McHale
• [Haskell-cafe] A Conversation With Sandy Maguire - Melbourne Haskell Users' Group - 28-03-2024   John Walker
  • [Haskell-cafe] A Conversation With Sandy Maguire - Melbourne Haskell Users' Group - 28-03-2024   Kim-Ee Yeoh
• [Haskell-cafe] using the same data structure on a type level and as a value   Zoran Bošnjak
• [Haskell-cafe] Midlands Graduate School - registration now open   Graham Hutton
• [Haskell-cafe] GHC API stability initiative   Facundo Domínguez
• [Haskell-cafe] CFP - Haskell Implementors' Workshop 2025   Andreas Herrmann

Last message date: Fri Feb 21 15:54:58 UTC 2025
Archived on: Sat Feb 22 20:08:09 UTC 2025

• Messages sorted by: [ subject ] [ author ] [ date ]
• More info on this list...