September 2017 Archives by thread

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

Starting: Fri Sep 1 13:25:14 UTC 2017
Ending: Fri Sep 29 11:20:20 UTC 2017
Messages: 17

• [Haskell] RV 2017 - Last Call for Participation   Ayoub Nouri
• [Haskell] [Haskell-beginners] Restrict type in phantom data-type   Baa
  • [Haskell] [Haskell-beginners] Restrict type in phantom data-type   David Feuer
• [Haskell] TYPES 2017 post-proceedings open call for papers   Ambrus Kaposi
• [Haskell] [SEIT 2018] 8th International Conference on Sustainable Energy Information Technology. Porto, Portugal (May 8-11, 2018)   Wim Ectors
  • [Haskell] [SEIT 2018] 8th International Conference on Sustainable Energy Information Technology. Porto, Portugal (May 8-11, 2018)   Wim Ectors
• [Haskell] SPLASH 2017: 1st Call for Participation   SPLASH Publicity
• [Haskell] The University of Strathclyde’s Global Talent Programme - Security and Data Sciences   Robert Atkey
• [Haskell] Call for Presentations on Secure Compilation (PriSC Workshop @ POPL'18)   Dominique Devriese
• [Haskell] [ANN] First release of Tart, an ASCII art drawing program   Jonathan Daugherty
• [Haskell] Haskell in Leipzig 2017: 1st call for participation   Wolfgang Jeltsch
  • [Haskell] Haskell in Leipzig 2017: 1st call for participation   Wolfgang Jeltsch
• [Haskell] Call for Participation: SLE 2017 (10th ACM SIGPLAN International Conference on Software Language Engineering)   Andrei Chis
• [Haskell] SPLASH 2017: Final Call for Participation   SPLASH Publicity
• [Haskell] [ANT2018] 9th International Conference on Ambient Systems, Networks and Technologies. Porto, Portugal (May 8-11, 2018)   Wim Ectors
• [Haskell] PEPM 2018 Final Call for Papers   PEPM Workshop
• [Haskell] FLOPS2018: Second CFP   Martin Sulzmann

Last message date: Fri Sep 29 11:20:20 UTC 2017
Archived on: Fri Sep 29 10:52:23 UTC 2017

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