The little typer

著者

• Friedman, Daniel P.
• Christiansen, David Thrane

書誌事項

The little typer

Daniel P. Friedman, David Thrane Christiansen

The MIT Press, [2018]

• : pbk

注記

Includes index

詳細情報

• NII書誌ID(NCID): BB29915624
• ISBN:
  • 9780262536431
• LCCN: 2018017792
• 出版国コード: us
• タイトル言語コード: eng
• 本文言語コード: eng
• 出版地: Cambridge, Massuchesetts
• ページ数/冊数: xiii, 403 p.
• 大きさ: 23 cm.
• 分類:
  • LCC : QA76.63
  • DC23 : 005.101/5113
• 件名:
  • LCSH : Functional programming (Computer science)
  • LCSH : Logic programming
  • LCSH : Computer logic
  • LCSH : Type theory