Condorcet Internet Voting Service

Result detailsHide details

Ballot reporting was not enabled for this poll.

• Rank 1:
    Agda (Wadler's and others PLFA book) (1): vs. 4 : (3 - 5) vs. 2 : (2 - 6) vs. 3 : (2 - 6) vs. 0 : (2 - 7) vs. 5 : (2 - 7) vs. 6 : (2 - 7) vs. 7 : (2 - 7)
  
• Rank 2:
    (Algebraic) Effects & Extensible Effects (Cartwright & Felleisen, Oleg Kiselev, Andrej Bauer) (2): vs. 3 : (5 - 4) vs. 7 : (4 - 4) vs. 4 : (3 - 4) vs. 5 : (4 - 5) vs. 6 : (1 - 6) vs. 0 : (2 - 7)
  
• Rank 3:
    Functional Reactive Programming (4): vs. 3 : (5 - 4) vs. 5 : (4 - 5) vs. 6 : (3 - 5) vs. 7 : (2 - 6) vs. 0 : (2 - 7)
  
• Rank 4:
    Category Theory (Steve Awodey, Basic Category Theory, Emily Riehl) (3): vs. 0 : (4 - 3) vs. 2 : (4 - 5) vs. 4 : (4 - 5) vs. 6 : (2 - 5) vs. 7 : (2 - 5) vs. 5 : (2 - 6)
  
• Rank 5:
    Subtyping (5): vs. 7 : (4 - 4) vs. 0 : (3 - 5) vs. 6 : (2 - 6)
  
• Rank 6:
    No big topics, just random papers / videos (7): vs. 6 : (2 - 4) vs. 0 : (2 - 5)
  
• Rank 7:
    Quantum Computing/Programming (Robert Rand, quantum.country...) (6): vs. 0 : (2 - 5)
  
• Rank 8:
    Probabilistic Programming (0): vs. 6 : (5 - 2) vs. 7 : (5 - 2) vs. 5 : (5 - 3) vs. 3 : (3 - 4)