Pattern Calculus: Computing with Functions and Structures

213ページ

3登録

	Tweet
share

Pattern Calculus: Computing with Functions and Structuresを読んだ人はこんな本も読んでいます

kinaba

前半1/3はλ計算+SystemFの軽い導入。後半1/3は著者によるbondiという言語の軽いリファレンス。まんなかがメイン。個々の論文を読むので十分なまとまり具合だったかもしれない…。/ これ、評価順を固定してもっとアグレッシブなdynamic patternを許せないものかな

ナイス! - コメント(0) - 01/19

04/05：tell

Pattern Calculus: Computing with Functions and Structuresの評価：100％感想・レビュー：1件