富山県立大学の資料を検索します。
CiNii Booksを検索します。
NDLサーチを検索します。
CiNii Researchを検索します。
CiNii Dissertationsを検索します。
本学の蔵書を検索した結果です。電子媒体は詳細画面から外部へリンクする事が可能です。
検索キーワード:(件名: #Functional programming languages)
該当件数:2件
Verified functional programming in Agda / Aaron Stump
First edition.. - ([New York] ; [San Rafael, California] : Association for Computing Machinery : Morgan & Claypool , 2016). - (ACM books. ISSN:23746777 ; #9)
電子ブック
Compiling functional languages / Antoni Diller
Chichester : New York : Wiley , c1988
図書