Search
 
   

6 results for "domain:mpi-sws.org"

  1. 2
    Equivalence Testing for JavaScript Transformations ☶ pdf slides javascript testing people.mpi-sws.org
    nickpsecurity avatar via nickpsecurity 2 months ago | cached | no comments
  2. 10
    1ML - core and modules united compilers ml release people.mpi-sws.org
    pushcx avatar via pushcx 9 months ago | cached | 1 comment
  3. 32
    RustBelt: Securing the Foundations of the Rust Programming Language pdf formalmethods rust people.mpi-sws.org
    pushcx avatar via pushcx 1 year ago | cached | 49 comments
  4. 12
    1ML - ML core and module united compsci ml programming mpi-sws.org
    BruceM avatar via BruceM 3 years ago | cached | 1 comment
  5. 5
    MixML - Mixin' Up the ML Module System compsci ml mpi-sws.org
    zem avatar via zem 3 years ago | cached | no comments
  6. 10
    Functional Programming for Dynamic and Large Data with Self-Adjusting Computation ☶ pdf compsci mpi-sws.org
    SeanTAllen avatar via SeanTAllen 3 years ago | cached | 1 comment