haskell

2022-01-01 - 2022-02-01 (14 messages)

2021-12-01 - 2022-01-01 (10 messages)

2021-11-01 - 2021-12-01 (8 messages)

  1. 2021-12-28  [1] [Haskell] ETAPS Test of Time Award 2022, cal  Tarmo Uusta
  2. 2021-12-27  [1] [Haskell] Postdoctoral Research Assistant po  Philip Wadl
  3. 2021-12-17  [1] [Haskell] IJCAR 2022 - Call for Papers        Andrei Pope
  4. 2021-12-16  [1] [Haskell] CFP : INTERNATIONAL CONFERENCE ON   IACTE - Wor
  5. 2021-12-15  [1] [Haskell] Fully (UK Home) Funded PhD Positio  Achim D. Br
  6. 2021-12-14  [1] [Haskell] Call for Participation: 24th Inter  James Chene
  7. 2021-12-09  [1] [Haskell] Tenure Track Position at Universit  Perry Alexa
  8. 2021-12-09  [1] [Haskell] Certified Programs and Proofs (CPP  Andrei Pope
  9. 2021-12-08  [1] [Haskell] Call for Workshop Proposals: ICFP   Ilya Sergey
 10. 2021-12-01  [1] [Haskell] 2nd Call for Contributions: BOB 20  Stefan Wehr