cs.yale.edu: 6 stories from 5 submitters

  1. 11
    Epigrams in Programming (1982) philosophy programming cs.yale.edu
    amw-zero avatar via amw-zero 3 months ago |
    Archive.org Archive.today Ghostarchive
    | 6 comments
  2. 4
    P4xos: Consensus as a Network Service pdf distributed networking performance cs.yale.edu
    jtolio avatar via jtolio 2 years ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  3. 1
    Using Abstract Interpretation to Correct Synchronization Faults (2017) ☶ pdf distributed formalmethods java cs.yale.edu
    nickpsecurity avatar via nickpsecurity 3 years ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  4. 4
    Arrows, Robots, and Functional Reactive Programming (2002) ☶ pdf haskell plt cs.yale.edu
    nickpsecurity avatar via nickpsecurity 4 years ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  5. 13
    Notes on Theory of Distributed Systems pdf distributed cs.yale.edu
    julienxx avatar via julienxx 7 years ago |
    Archive.org Archive.today Ghostarchive
    | 2 comments
  6. 14
    Calvin: Fast Distributed Transactions for Partitioned Database Systems pdf databases cs.yale.edu
    moses avatar via moses 9 years ago |
    Archive.org Archive.today Ghostarchive
    | 5 comments