cl.cam.ac.uk: 61 stories from 40 submitters

  1. 2
    The Notion of Proof in Hardware Verification (draft) (1989) pdf formalmethods hardware historical cl.cam.ac.uk
    nickpsecurity avatar via nickpsecurity 5 years ago |
    Archive.org Archive.today Ghostarchive
    | 1 comment
  2. 28
    ML For The Working Programmer, 2nd ed. ☶ book pdf ml cl.cam.ac.uk
    pushcx avatar via pushcx 5 years ago |
    Archive.org Archive.today Ghostarchive
    | 13 comments
  3. 9
    Network Semantics formalmethods networking cl.cam.ac.uk
    pushcx avatar via pushcx 5 years ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  4. 38
    Full text of "ML for the Working Programmer" now online! ml cl.cam.ac.uk
    sergeyb avatar via sergeyb 5 years ago |
    Archive.org Archive.today Ghostarchive
    | 8 comments
  5. 5
    Firmament: Fast, Centralized Scheduling at Scale (2016) ☶ pdf compsci distributed cl.cam.ac.uk
    nickpsecurity avatar via nickpsecurity 5 years ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  6. 43
    Some Were Meant for C: The Endurance of an Unmanageable Language pdf c programming cl.cam.ac.uk
    wrs avatar via wrs 5 years ago |
    Archive.org Archive.today Ghostarchive
    | 14 comments
  7. 2
    A Generic Synthesisable Test Bench hardware testing cl.cam.ac.uk
    pushcx avatar via pushcx 5 years ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  8. 5
    ALEXANDRIA: Large-Scale Formal Proof for the Working Mathematician ☶ compsci formalmethods math ml cl.cam.ac.uk
    c-cube avatar via c-cube 5 years ago |
    Archive.org Archive.today Ghostarchive
    | 3 comments
  9. 3
    Understanding the Basis of the Kalman Filter pdf compsci cl.cam.ac.uk
    Dawny33 avatar via Dawny33 5 years ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  10. 12
    Algebraic Subtyping ☶ pdf ml cl.cam.ac.uk
    lojikil avatar via lojikil 6 years ago |
    Archive.org Archive.today Ghostarchive
    | 2 comments
  11. 4
    Algebraic Subtyping [pdf] pdf compsci cl.cam.ac.uk
    akalin avatar via akalin 6 years ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  12. 4
    Custom ELF program headers—what, why and how unix cl.cam.ac.uk
    mjn avatar via mjn 6 years ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  13. 4
    Debugging with the natives, part 2 debugging cl.cam.ac.uk
    PuercoPop avatar via PuercoPop 6 years ago |
    Archive.org Archive.today Ghostarchive
    | 2 comments
  14. 9
    The Operating System: Should There Be One? (2013) pdf programming cl.cam.ac.uk
    pushcx avatar via pushcx 6 years ago |
    Archive.org Archive.today Ghostarchive
    | 3 comments
  15. 18
    OCaml inside: a drop-in replacement for libtls pdf ml security cl.cam.ac.uk
    dwc avatar via dwc 6 years ago |
    Archive.org Archive.today Ghostarchive
    | 8 comments
  16. 8
    Into the Depths of C: Elaborating the De Facto Standards pdf c compilers cl.cam.ac.uk
    gandro avatar via gandro 6 years ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  17. 6
    Malfunctional Programming ☶ pdf compilers ml cl.cam.ac.uk
    dwc avatar via dwc 6 years ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  18. 2
    Into the Depths of C: Elaborating the De Facto Standards pdf c cl.cam.ac.uk
    pyk avatar via pyk 6 years ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  19. 4
    Pipelines are lazy functional composition with recombination (2011) programming unix cl.cam.ac.uk
    mjn avatar via mjn 7 years ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  20. 6
    Practical memory safety for C pdf c cl.cam.ac.uk
    calvin avatar via calvin 7 years ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  21. 4
    A position on licensing research software law practices cl.cam.ac.uk
    mjn avatar via mjn 7 years ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  22. 7
    Fun with Semirings: A Functional Pearl on the Abuse of Linear Algebra pdf compsci haskell cl.cam.ac.uk
    grace avatar via grace 7 years ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  23. 9
    What is C in practice? c cl.cam.ac.uk
    sanxiyn avatar via sanxiyn 7 years ago |
    Archive.org Archive.today Ghostarchive
    | 4 comments
  24. 4
    Security Analysis of Android Factory Resets pdf android security cl.cam.ac.uk
    inactive-user avatar via inactive-user 7 years ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  25. 5
    In Search of Types pdf compsci cl.cam.ac.uk
    pushcx avatar via pushcx 8 years ago |
    Archive.org Archive.today Ghostarchive
    | no comments
<< Page 1 | Page 3 >>