cs.uwaterloo.ca: 8 stories from 8 submitters

  1. 5
    Logic and Computation Intertwined formalmethods lisp cs.uwaterloo.ca
    veqq avatar via veqq 3 months ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  2. 26
    A chiral aperiodic monotile ☶ math cs.uwaterloo.ca
    fanf avatar via fanf 1 year ago |
    Archive.org Archive.today Ghostarchive
    | 9 comments
  3. 22
    Logic and Computation Intertwined plt cs.uwaterloo.ca
    srid avatar via srid 2 years ago |
    Archive.org Archive.today Ghostarchive
    | 12 comments
  4. 12
    A Functional Introduction To Computer Science compsci cs.uwaterloo.ca
    azhenley avatar via azhenley 2 years ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  5. 12
    A Semantics for the Essence of React pdf compsci cs.uwaterloo.ca
    mpweiher avatar via mpweiher 4 years ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  6. 1
    APEx: Accuracy-Aware Differentially Private Data Exploration ☶ pdf compsci privacy cs.uwaterloo.ca
    fcbsd avatar via fcbsd 5 years ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  7. 1
    Grace: Safe and Efficient Concurrent Programming (2000) ☶ pdf c plt security cs.uwaterloo.ca
    nickpsecurity avatar via nickpsecurity 5 years ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  8. 26
    Functional Data Structures book ml cs.uwaterloo.ca
    pushcx avatar via pushcx 6 years ago |
    Archive.org Archive.today Ghostarchive
    | 1 comment