2009-09-17から1日間の記事一覧
LandinのThe Next 700 Programming Language( http://portal.acm.org/citation.cfm?id=365257 )は1966年のCACMに載っていた話なんですけれども、今読んでいるAn Algorithm for Type-Checking Dependent Types ( http://www.cs.chalmers.se/~coquand/type.ps …
LandinのThe Next 700 Programming Language( http://portal.acm.org/citation.cfm?id=365257 )は1966年のCACMに載っていた話なんですけれども、今読んでいるAn Algorithm for Type-Checking Dependent Types ( http://www.cs.chalmers.se/~coquand/type.ps …