Changes between Version 19 and Version 20 of GeneralMeeting


Ignore:
Timestamp:
06/02/10 16:36:43 (14 years ago)
Author:
yonelab
Comment:

--

Legend:

Unmodified
Added
Removed
Modified

  • GeneralMeeting

    v19 v20  
    88|| Date || Title || Speaker || File || 
    99|| 2010/05/26 || Survey: Manticore - A heterogeneous parallel language || akiyama || [[attachment:100526.pdf pdf(jp)]] || 
     10|| 2010/05/19 || Survey: GADT and Type Families in Haskell || ywtnb || [[attachment:20100519.pptx pptx(jp)]] || 
    1011|| 2010/04/07 || Parallel Packrat Parser using Regularity in Syntactic Rules || akiyama || [[attachment:akiyama-bachelor.pptx pptx(jp)]] || 
     12|| 2010/02/17 || Survey: Certified compilers || ywtnb || [[attachment:20100217.pptx pptx(jp)]] || 
    1113|| 2009/12/02 || Survey: Certified Assembly Programming || ywtnb || [[attachment:20091202.pptx pptx(jp)]] || 
    1214|| 2009/09/16 || Survey: Ynot (Effective Interactive Proofs for Higher-Order Imperative Programs) || ywtnb || [[attachment:20090916.pptx pptx(jp)]] ||