cs.bham.ac.uk: 7 stories from 7 submitters

  1. 5
    Anti-Cheat: Attacks and the Effectiveness of Client-Side Defences pdf games security cs.bham.ac.uk
    calvin avatar via calvin 5 months ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  2. 6
    A Typed Foundation for Directional Logic Programming pdf ai plt cs.bham.ac.uk
    veqq avatar via veqq 5 months ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  3. 15
    Introduction to Homotopy Type Theory and Univalent Foundations (HoTT/UF) with Agda math plt cs.bham.ac.uk
    4ad avatar via 4ad 3 years ago |
    Archive.org Archive.today Ghostarchive
    | 2 comments
  4. 3
    The intrinsic topology of a Marin-Löf universe (2012) ☶ pdf compsci math cs.bham.ac.uk
    Corbin avatar via Corbin 4 years ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  5. 6
    An introduction to C++ template programming (2016) book pdf c++ cs.bham.ac.uk
    pushcx avatar via pushcx 6 years ago |
    Archive.org Archive.today Ghostarchive
    | 1 comment
  6. 20
    A Short Introduction to the Lambda Calculus ☶ pdf compsci cs.bham.ac.uk
    asthasr avatar via asthasr 8 years ago |
    Archive.org Archive.today Ghostarchive
    | 18 comments
  7. 4
    Integrating Dependent and Linear Types (draft) pdf compsci programming cs.bham.ac.uk
    BruceM avatar via BruceM 10 years ago |
    Archive.org Archive.today Ghostarchive
    | 1 comment