July 2019 Archives by author

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

Starting: Mon Jul 1 19:09:13 UTC 2019
Ending: Wed Jul 31 21:43:54 UTC 2019
Messages: 100

• [Haskell-cafe] NB: DO NOT USE `pure = return`   Brandon Allbery
• [Haskell-cafe] Hidden types and scope   Brandon Allbery
• [Haskell-cafe] Benefits and use cases for strong mobility in presence of closure serialization   Brandon Allbery
• [Haskell-cafe] ANN: To Kata Haskellen Evangelion   Brandon Allbery
• [Haskell-cafe] ANN: To Kata Haskellen Evangelion   Brandon Allbery
• [Haskell-cafe] ANN: To Kata Haskellen Evangelion   Brandon Allbery
• [Haskell-cafe] lazy evangelion   Brandon Allbery
• [Haskell-cafe] Translating a pre-image witness from agda to haskell   Ruben Astudillo
• [Haskell-cafe] Hidden types and scope   Lana Black
• [Haskell-cafe] Hidden types and scope   Lana Black
• [Haskell-cafe] Hidden types and scope   Lana Black
• [Haskell-cafe] ANN: stack-2.1.3   Emanuel Borsboom
• [Haskell-cafe] The GHC Committee welcomes its new members   Joachim Breitner
• [Haskell-cafe] Workshop in OCL and Textual Modeling (OCL 2019) - Deadline Extension   Achim D. Brucker
• [Haskell-cafe] [language-dart] Package takeover initiation   Sergey Bushnyak
• [Haskell-cafe] "Quantization" of computations, or step-wise termination, as an extension of Logic Monads   Juan Casanova
• [Haskell-cafe] "Quantization" of computations, or step-wise termination, as an extension of Logic Monads   Juan Casanova
• [Haskell-cafe] "Quantization" of computations, or step-wise termination, as an extension of Logic Monads   Juan Casanova
• [Haskell-cafe] ANNOUNCE: lens-family 2.0.0 anniversary edition!   Oliver Charles
• [Haskell-cafe] type variable is ambiguous in a non-injective type family   Anthony Clayden
• [Haskell-cafe] type variable is ambiguous in a non-injective type family   Anthony Clayden
• [Haskell-cafe] lazy evangelion   Raoul Duke
• [Haskell-cafe] lazy evangelion   Raoul Duke
• [Haskell-cafe] ANN: To Kata Haskellen Evangelion   Joachim Durchholz
• [Haskell-cafe] ANN: To Kata Haskellen Evangelion   Joachim Durchholz
• [Haskell-cafe] RfA: wcwidth   Jason Dusek
• [Haskell-cafe] What is the most modern associative list in types?   Daniel Díaz
• [Haskell-cafe] Help wanted getting old GADT code to compile   Richard Eisenberg
• [Haskell-cafe] Haskell Symposium: early reg deadline is next week   Richard Eisenberg
• [Haskell-cafe] Haskell Symposium: early reg deadline is next week   Richard Eisenberg
• [Haskell-cafe] Haskell-Cafe Digest, Vol 191, Issue 3   Information The FLOSS
• [Haskell-cafe] Haskell-Cafe Digest, Vol 191, Issue 4   Information The FLOSS
• [Haskell-cafe] Haskell-Cafe Digest, Vol 191, Issue 5   Information The FLOSS
• [Haskell-cafe] Haskell-Cafe Digest, Vol 191, Issue 6   Information The FLOSS
• [Haskell-cafe] Haskell-Cafe Digest, Vol 191, Issue 7   Information The FLOSS
• [Haskell-cafe] Haskell-Cafe Digest, Vol 191, Issue 11   Information The FLOSS
• [Haskell-cafe] Haskell-Cafe Digest, Vol 191, Issue 12   Information The FLOSS
• [Haskell-cafe] ANN: To Kata Haskellen Evangelion   David Fox
• [Haskell-cafe] Hidden types and scope   Benjamin Franksen
• [Haskell-cafe] ANN: To Kata Haskellen Evangelion   Cosmia Fu
• [Haskell-cafe] type variable is ambiguous in a non-injective type family   Cosmia Fu
• [Haskell-cafe] ANN: To Kata Haskellen Evangelion   Cosmia Fu
• [Haskell-cafe] The future of the SPARC NCG backend   Ben Gamari
• [Haskell-cafe] [ANNOUNCE] GHC 8.8.1 release candidate 1 is now available   Ben Gamari
• [Haskell-cafe] Final call for draft papers for IFL 2019 (Implementation and Application of Functional Languages)   Jurriaan Hage
• [Haskell-cafe] MPC 2019 - Call for Participation   Graham Hutton
• [Haskell-cafe] [ldap-client] Project takeover initiation   Brian C. Jones
• [Haskell-cafe] [twilio] Project takeover initiation   Brian C. Jones
• [Haskell-cafe] [twilio] Project takeover initiation   Alexander Kjeldaas
• [Haskell-cafe] mapM and Control.Arrow   Olaf Klinke
• [Haskell-cafe] mapM and Control.Arrow   Olaf Klinke
• [Haskell-cafe] "Quantization" of computations, or step-wise termination, as an extension of Logic Monads   Olaf Klinke
• [Haskell-cafe] ANN: To Kata Haskellen Evangelion   Olaf Klinke
• [Haskell-cafe] Journeys in Computational Logic: Tributes to Roy Dyckhoff : CFP   Ekaterina Komendantskaya
• [Haskell-cafe] type variable is ambiguous in a non-injective type family   Henry Laxen
• [Haskell-cafe] type variable is ambiguous in a non-injective type family   Henry Laxen
• [Haskell-cafe] type variable is ambiguous in a non-injective type family   Henry Laxen
• [Haskell-cafe] type variable is ambiguous in a non-injective type family   MarLinn
• [Haskell-cafe] Huffman Library Maintainership   Callan McGill
• [Haskell-cafe] ANN: To Kata Haskellen Evangelion   Vanessa McHale
• [Haskell-cafe] lazy evangelion   Vanessa McHale
• [Haskell-cafe] Haskell Symposium: early reg deadline is next week   Stefan Monnier
• [Haskell-cafe] Munich Haskell Meeting, 2019-07-31 @ 19:30   Leah Neukirchen
• [Haskell-cafe] ANN: To Kata Haskellen Evangelion   Richard O'Keefe
• [Haskell-cafe] Fwd: CFP: 4th Workshop on Meta-Programming Techniques and Reflection (Meta’19), Co-located with SPLASH 2019   Artem Pelenitsyn
• [Haskell-cafe] Haskell Symposium: early reg deadline is next week   Artem Pelenitsyn
• [Haskell-cafe] Haskell Symposium: early reg deadline is next week   Artem Pelenitsyn
• [Haskell-cafe] What is the most modern associative list in types?   Artem Pelenitsyn
• [Haskell-cafe] Help wanted getting old GADT code to compile   Norman Ramsey
• [Haskell-cafe] parallel Haskell with limited sparks   Bryan Richter
• [Haskell-cafe] [twilio] Project takeover initiation   Mark Roberts
• [Haskell-cafe] Request for Comments   ibrahim Sagiroglu
• [Haskell-cafe] Hidden types and scope   Sandeep.C.R
• [Haskell-cafe] ANNOUNCE: lens-family 2.0.0 anniversary edition!   Carter Schonwald
• [Haskell-cafe] {-# SPECIALIZE foo @Bar #-} ?   Ganesh Sittampalam
• [Haskell-cafe] ANN: New York Haskell CoHack, August 3   Chris Smith
• [Haskell-cafe] parallel Haskell with limited sparks   Henning Thielemann
• [Haskell-cafe] parallel Haskell with limited sparks   Henning Thielemann
• [Haskell-cafe] parallel Haskell with limited sparks   Henning Thielemann
• [Haskell-cafe] Second Call for Participation: ICFP 2019   Sam Tobin-Hochstadt
• [Haskell-cafe] NB: DO NOT USE `pure = return`   Johannes Waldmann
• [Haskell-cafe] {-# SPECIALIZE foo @Bar #-} ?   Johannes Waldmann
• [Haskell-cafe] Haskell Symposium: early reg deadline is next week   Johannes Waldmann
• [Haskell-cafe] Call for Participation: Summer BOB 2019 (August 21, Berlin)   Stefan Wehr
• [Haskell-cafe] Call for Participation: Summer BOB 2019 (August 21, Berlin)   Stefan Wehr
• [Haskell-cafe] Help wanted getting old GADT code to compile   Li-yao Xia
• [Haskell-cafe] "Quantization" of computations, or step-wise termination, as an extension of Logic Monads   Li-yao Xia
• [Haskell-cafe] "Quantization" of computations, or step-wise termination, as an extension of Logic Monads   Li-yao Xia
• [Haskell-cafe] Translating a pre-image witness from agda to haskell   Li-yao Xia
• [Haskell-cafe] type variable is ambiguous in a non-injective type family   Li-yao Xia
• [Haskell-cafe] What is the most modern associative list in types?   Serguey Zefirov
• [Haskell-cafe] What is the most modern associative list in types?   Serguey Zefirov
• [Haskell-cafe] mapM and Control.Arrow   Zemyla
• [Haskell-cafe] mapM and Control.Arrow   Zemyla
• [Haskell-cafe] ANNOUNCE: lens-family 2.0.0 anniversary edition!   roconnor at theorem.ca
• [Haskell-cafe] ANNOUNCE: lens-family 2.0.0 anniversary edition!   roconnor at theorem.ca
• [Haskell-cafe] ANNOUNCE: lens-family 2.0.0 anniversary edition!   roconnor at theorem.ca
• [Haskell-cafe] ANNOUNCE: lens-family 2.0.0 anniversary edition!   roconnor at theorem.ca
• [Haskell-cafe] [CC2020] Call for Papers for the ACM SIGPLAN 2020 International Conference on Compiler Construction   Gabriel Rodríguez Álvarez
• [Haskell-cafe] Benefits and use cases for strong mobility in presence of closure serialization   Станислав Черничкин

Last message date: Wed Jul 31 21:43:54 UTC 2019
Archived on: Wed Jul 31 20:48:49 UTC 2019

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