龍田 真 | CiNii ResearchJaLC IRDB Crossref DataCite NDL NDL-Digital RUDA JDCat NINJAL CiNii Articles CiNii Books CiNii Dissertations DBpedia Nikkei BP KAKEN Integbio MDR PubMed LSDB Archive 極地研ADS 極地研学術DB 公共データカタログ ムーンショット型研究開発事業
Designing Type-Safe Haskell APIs - O'Reilly Media Free, Live Events
Designing Type-Safe Haskell APIs Date: This event took place live on August 09 2012 Presented by: Michael Snoyman Duration: Approximately 60 minutes. Cost: Free Questions? Please send email to Tweet Description: Type safety isn't just a feature of a language, it's also a programming style. While languages like Haskell make it easier to write type-safe code, to get the best results, you need to des
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
Amazon.co.jp: Categorical Logic and Type Theory, Volume 141 (Studies in Logic and the Foundations of Mathematics): Jacobs, B.: 本
