liamoc.net: 5 stories from 2 submitters

  1. 2
    What is abstraction anyway? compsci liamoc.net
    pushcx avatar via pushcx 6 years ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  2. 12
    The Trouble with Typing Type as Type math liamoc.net
    puffnfresh avatar via puffnfresh 8 years ago |
    Archive.org Archive.today Ghostarchive
    | 1 comment
  3. 15
    Write Your Compiler by Proving It Correct compilers liamoc.net
    pushcx avatar via pushcx 8 years ago |
    Archive.org Archive.today Ghostarchive
    | 8 comments
  4. 10
    The Theory of patches-vector haskell liamoc.net
    puffnfresh avatar via puffnfresh 8 years ago |
    Archive.org Archive.today Ghostarchive
    | 7 comments
  5. 3
    Imperative Reasoning is Hard compsci liamoc.net
    puffnfresh avatar via puffnfresh 9 years ago |
    Archive.org Archive.today Ghostarchive
    | no comments