Search
 
   

7 results for "domain:infoscience.epfl.ch"

  1. 4
    Design and Implementation of Optimizing Type-centric Compiler for High-Level Language (2017) ☶ compilers plt scala infoscience.epfl.ch
    nickpsecurity avatar via nickpsecurity 4 months ago | cached | no comments
  2. 3
    Unifying Analytic and Statically-Typed Quasiquotes ☶ pdf plt scala infoscience.epfl.ch
    nickpsecurity avatar via nickpsecurity 5 months ago | cached | no comments
  3. 2
    Squid: Type-Safe, Hygienic, and Reusable Quasiquotes (2017) ☶ pdf plt scala infoscience.epfl.ch
    nickpsecurity avatar via nickpsecurity 5 months ago | cached | no comments
  4. 3
    Isolated Actors for Race-free, Concurrent Programming (2010) ☶ pdf distributed plt scala infoscience.epfl.ch
    nickpsecurity avatar via nickpsecurity 5 months ago | cached | no comments
  5. 4
    Unification of Compile-Time and Runtime Metaprogramming in Scala (2017) pdf compilers scala infoscience.epfl.ch
    nickpsecurity avatar via nickpsecurity 6 months ago | cached | no comments
  6. 4
    Extending Safe C Support in Leon (2017) pdf c compsci formalmethods scala infoscience.epfl.ch
    nickpsecurity avatar via nickpsecurity 1 year ago | cached | 1 comment
  7. 2
    Compiling Scala For Performance (2010) pdf compilers scala infoscience.epfl.ch
    numberten avatar via numberten 1 year ago | cached | no comments