Refinement Types: A Tutorial - Foundations and Trends (R) in Programming Languages - Ranjit Jhala - 書籍 - now publishers Inc - 9781680838848 - 2021年10月5日
カバー画像とタイトルが一致しない場合、正しいのはタイトルです

Ranjit Jhala
Refinement Types: A Tutorial - Foundations and Trends (R) in Programming Languages

商品が入荷したらメールで通知を受け取る
プロフィールはありますか？ ログイン

お客様の声：

EU消費者保護法に基づく14日間の返品ポリシー
Trustpilotで高評価
iMusicのウィッシュリストに追加

Inspired by the nanopass framework for teaching compilation, this book shows how to implement refinement types via a progression of languages that incrementally add features to the language or type system. The book provides an insightful introduction into Refinement Types using an innovative tutorial style that enables fast learning.

180 pages

メディア 書籍     Paperback Book   (ソフトカバーで背表紙を接着した本)
リリース済み 2021年10月5日
ISBN13 9781680838848
出版社 now publishers Inc
ページ数 180
寸法 156 × 234 × 10 mm   ·   263 g
言語 英語  

Ranjit Jhalaの他の作品を見る

すべて表示

Ranjit Jhalaのすべてを見る ( 例： Paperback Book )