Search
 
   

40 results for "domain:cl.cam.ac.uk"

  1. 1
    Algebraic Principles for Program Correctness Tools in Isabelle HOL (2016) ☶ pdf formalmethods programming cl.cam.ac.uk
    nickpsecurity avatar via nickpsecurity 1 month ago | cached | 1 comment
  2. 28
    Some Were Meant For C pdf c philosophy cl.cam.ac.uk
    friendlysock avatar via friendlysock 2 months ago | cached | 55 comments
  3. 5
    ASAP: As Static As Possible Memory Management (2017) ☶ pdf c compilers plt security cl.cam.ac.uk
    nickpsecurity avatar via nickpsecurity 4 months ago | cached | 4 comments
  4. 1
    Making Bitcoin Legal ☶ pdf cryptocurrencies finance law cl.cam.ac.uk
    calvin avatar via calvin 5 months ago | cached | no comments
  5. 3
    Exploring New Attack Vectors for Exploitation of Smartphones (2017) pdf android programming security cl.cam.ac.uk
    nickpsecurity avatar via nickpsecurity 5 months ago | cached | no comments
  6. 2
    The Notion of Proof in Hardware Verification (draft) (1989) pdf formalmethods hardware historical cl.cam.ac.uk
    nickpsecurity avatar via nickpsecurity 7 months ago | cached | 1 comment
  7. 28
    ML For The Working Programmer, 2nd ed. ☶ pdf book ml cl.cam.ac.uk
    pushcx avatar via pushcx 7 months ago | cached | 13 comments
  8. 9
    Network Semantics formalmethods networking cl.cam.ac.uk
    pushcx avatar via pushcx 9 months ago | cached | no comments
  9. 38
    Full text of "ML for the Working Programmer" now online! ml cl.cam.ac.uk
    sergeyb avatar via sergeyb 11 months ago | cached | 8 comments
  10. 5
    Firmament: Fast, Centralized Scheduling at Scale (2016) ☶ pdf compsci distributed cl.cam.ac.uk
    nickpsecurity avatar via nickpsecurity 11 months ago | cached | no comments
  11. 43
    Some Were Meant for C: The Endurance of an Unmanageable Language pdf c programming cl.cam.ac.uk
    wrs avatar via wrs 11 months ago | cached | 14 comments
  12. 2
    A Generic Synthesisable Test Bench hardware testing cl.cam.ac.uk
    pushcx avatar via pushcx 1 year ago | cached | no comments
  13. 5
    ALEXANDRIA: Large-Scale Formal Proof for the Working Mathematician ☶ compsci formalmethods math ml cl.cam.ac.uk
    c-cube avatar via c-cube 1 year ago | cached | 3 comments
  14. 3
    Understanding the Basis of the Kalman Filter pdf compsci cl.cam.ac.uk
    Dawny33 avatar via Dawny33 1 year ago | cached | no comments
  15. 12
    Algebraic Subtyping ☶ pdf ml cl.cam.ac.uk
    lojikil avatar via lojikil 1 year ago | cached | 2 comments
  16. 4
    Algebraic Subtyping [pdf] pdf compsci cl.cam.ac.uk
    akalin avatar via akalin 1 year ago | cached | no comments
  17. 4
    Custom ELF program headers—what, why and how unix cl.cam.ac.uk
    mjn avatar via mjn 1 year ago | cached | no comments
  18. 4
    Debugging with the natives, part 2 debugging cl.cam.ac.uk
    PuercoPop avatar via PuercoPop 1 year ago | cached | 2 comments
  19. 9
    The Operating System: Should There Be One? (2013) pdf programming cl.cam.ac.uk
    pushcx avatar via pushcx 1 year ago | cached | 3 comments
  20. 18
    OCaml inside: a drop-in replacement for libtls pdf ml security cl.cam.ac.uk
    dwc avatar via dwc 2 years ago | cached | 8 comments
Page: 1 2