Search
 
   

3 results for "domain:cs.rice.edu"

  1. 2
    Synthesizing Data Structure Transformations from Input-Output Examples pdf compsci cs.rice.edu
    pushcx avatar via pushcx 2 months ago | cached | no comments
  2. 9
    Macros as Multi-Stage Computations - Type-Safe, Generative, Binding Macros in MacroML (2001) pdf compilers compsci formalmethods ml cs.rice.edu
    nickpsecurity avatar via nickpsecurity 1 year ago | cached | 4 comments
  3. 2
    Uniprocessor Garbage Collection Techniques pdf compilers compsci cs.rice.edu
    pushcx avatar via pushcx 2 years ago | cached | 1 comment