関数型言語の解析・検証・効率的実行のための書換え系理論の研究

関数型言語の解析・検証・効率的実行のための書換え系理論の研究

Call No. (NDL): Y151-H15500007
Bibliographic ID of National Diet Library: 000008382814

Material type: 図書

Author: 酒井正彦, 名古屋大学 [著]

Publisher: [酒井正彦]

Publication date: 2003-2005

Material Format: Paper

Capacity, size, etc.: 5, 105p

NDC: -

Notes on use

Note (General)：: 文部科学省科学研究費補助金研究成果報告書

Search by Bookstore

Search by Bookstore

Search by Bookstore

Bibliographic Record

You can check the details of this material, its authority (keywords that refer to materials on the same subject, author's name, etc.), etc.

Paper

Material Type: 図書
Title: 関数型言語の解析・検証・効率的実行のための書換え系理論の研究
Title Transcription: カンスウガタゲンゴノカイセキケンショウコウリツテキジッコウノタメノカキカエケイリロンノケンキュウ
Author/Editor: 酒井正彦, 名古屋大学 [著]
Author Heading: 酒井, 正彦サカイ, マサヒコ
名古屋大学ナゴヤダイガク
Publication, Distribution, etc.: [酒井正彦]
Publication Date: 2003-2005
2006.4
Publication Date (W3CDTF): 2003
2005
Extent: 5, 105p
Additional Title: 研究種目基盤研究(C)
Place of Publication (Country Code): JP
Text Language Code: jpn
eng
Subject Heading: 項書換え系 / 関数型言語コウカキカエケイ / カンスウガタゲンゴ
NDLC: Y151
Note (General): 文部科学省科学研究費補助金研究成果報告書
Research Project No. of Grants-in-Aid for Scientific Research: 15500007
Holding library: 国立国会図書館
Call No.: Y151-H15500007
Data Provider (Database): 国立国会図書館 : 国立国会図書館蔵書
https://ndlsearch.ndl.go.jp
Bibliographic ID (NDL): 000008382814
http://id.ndl.go.jp/bib/000008382814
Bibliographic Record Category (NDL): 214