February 2025 Archives by author

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

Starting: Mon Feb 3 14:37:28 UTC 2025
Ending: Tue Feb 18 10:40:20 UTC 2025
Messages: 12

• [Haskell-cafe] using the same data structure on a type level and as a value   Zoran Bošnjak
• [Haskell-cafe] PhD Position: Verification of Golang using Interactive Theorem Proving (Application Deadline 2025-02-10)   Achim D. Brucker
• [Haskell-cafe] Midlands Graduate School - registration now open   Graham Hutton
• [Haskell-cafe] Course-of-value recursion by defining a sequence as a self-referential infinite list   Vanessa McHale
• [Haskell-cafe] Course-of-value recursion by defining a sequence as a self-referential infinite list   Douglas McIlroy
• [Haskell-cafe] [ANN] NASA's Ogma 1.6.0   Ivan Perez
• [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] 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   Kim-Ee Yeoh
• [Haskell-cafe] A Conversation With Sandy Maguire - Melbourne Haskell Users' Group - 28-03-2024   Kim-Ee Yeoh

Last message date: Tue Feb 18 10:40:20 UTC 2025
Archived on: Tue Feb 18 23:21:14 UTC 2025

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