dcc.fc.up.pt: 2 stories from 2 submitters

  1. 9
    A Datalog engine for GPUs (2013) pdf plt dcc.fc.up.pt
    aarroyoc avatar via aarroyoc 1 year ago |
    Archive.org Archive.today Ghostarchive
    | 1 comment
  2. 8
    Verifying a Simple Compiler with QuickCheck compilers compsci haskell programming dcc.fc.up.pt
    nickpsecurity avatar via nickpsecurity 6 years ago |
    Archive.org Archive.today Ghostarchive
    | no comments