November 2024 Archives by thread

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

Starting: Fri Nov 1 13:44:51 UTC 2024
Ending: Wed Nov 20 22:00:38 UTC 2024
Messages: 22

• [Haskell-cafe] Derive ET from DN in calculus of constructions   Dmitriy Matrosov
  • [Haskell-cafe] Derive ET from DN in calculus of constructions   Tom Smeding
  • [Haskell-cafe] Derive ET from DN in calculus of constructions   Brent Yorgey
    • [Haskell-cafe] Derive ET from DN in calculus of constructions   Albert Y. C. Lai
      • [Haskell-cafe] Derive ET from DN in calculus of constructions   mukesh tiwari
  • [Haskell-cafe] Derive ET from DN in calculus of constructions   Olaf Klinke
    • [Haskell-cafe] Derive ET from DN in calculus of constructions   Dmitriy Matrosov
• [Haskell-cafe] Journal of Functional Programming - Call for PhD Abstracts   Graham Hutton
• [Haskell-cafe] PhD Scholarship at St Andrews   Christopher Brown
• [Haskell-cafe] ICFP 2025: Call for Papers   ICFP Publicity
• [Haskell-cafe] 2nd Call for Contributions: BOB 2025 (Berlin, March 14 - Deadline Nov 15)   Stefan Wehr
• [Haskell-cafe] [ANNOUNCE] GHC 9.12.1-alpha2 is now available   Zubin Duggal
• [Haskell-cafe] Problem with Haskellwiki - Backend not available   Henk-Jan van Tuyl
  • [Haskell-cafe] Problem with Haskellwiki - Backend not available   Jose Calderon
• [Haskell-cafe] wiki.haskell.org appears to be down   Markus Läll
  • [Haskell-cafe] wiki.haskell.org appears to be down   Bryan Richter
    • [Haskell-cafe] wiki.haskell.org appears to be down   Markus Läll
• [Haskell-cafe] [3 days to go!] Functional Conf 2025 - Call for Proposals closes 17 November   John Sinclair
• [Haskell-cafe] [ANNOUNCE] GHC 9.12.1-alpha3 is now available   Zubin Duggal
• [Haskell-cafe] [TFP 2025 3rd Call for Papers] 25th International Symposium on Trends in Functional Programming (Oxford, UK)   Peter Achten
• [Haskell-cafe] Dependent Haskell vs. Explicit Dictionary Application   Henning Thielemann
• [Haskell-cafe] POPL 2025 Call for Participation - Early registration: 20 December   Ningning Xie

Last message date: Wed Nov 20 22:00:38 UTC 2024
Archived on: Wed Nov 20 21:58:19 UTC 2024

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