Search
 
   

2 results for "domain:is.titech.ac.jp"

  1. 2
    An Implementation of A Hygienic Syntactic Macro System for JavaScript: A Preliminary Report (2010) ☶ pdf compilers javascript lisp is.titech.ac.jp
    nickpsecurity avatar via nickpsecurity 1 month ago | cached | 4 comments
  2. 2
    CertSkel - Verified Compiler for a Coq-Embedded, GPGPU DSL (2017) ☶ pdf formalmethods graphics programming prg.is.titech.ac.jp
    nickpsecurity avatar via nickpsecurity 1 year ago | cached | no comments