February 2025 Archives by date

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

Starting: Mon Feb 3 14:37:28 UTC 2025
Ending: Thu Feb 27 19:54:58 UTC 2025
Messages: 15

• [Haskell-cafe] 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] A Conversation With Sandy Maguire - Melbourne Haskell Users' Group - 28-03-2024   John Walker
• [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] A Conversation With Sandy Maguire - Melbourne Haskell Users' Group - 28-03-2024   Kim-Ee Yeoh
• [Haskell-cafe] Course-of-value recursion by defining a sequence as a self-referential infinite list   Vanessa McHale
• [Haskell-cafe] using the same data structure on a type level and as a value   Zoran Bošnjak
• [Haskell-cafe] Registration now open -- Re: Midlands Graduate School 2025 hosted by the University of Sheffield   Andrei Popescu
• [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
• [Haskell-cafe] Internship opportunity at NASA Ames Research Center -- Deadline Feb 28   Ivan Perez

Last message date: Thu Feb 27 19:54:58 UTC 2025
Archived on: Thu Feb 27 19:50:36 UTC 2025

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