メタ計算系における型導入によるプログラム変形導出

メタ計算系における型導入によるプログラム変形導出

Call No. (NDL): Y151-S62580030
Bibliographic ID of National Diet Library: 000007032712

Material type: 図書

Author: 井田, 哲雄, 筑波大学

Publisher: -

Publication date: 1987-1988

Material Format: Paper

Capacity, size, etc.: -

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: 著者：井田, 哲雄, 1947- イダ, テツオ, 1947- ( 00190628 )Authorities
Publication Date: 1987-1988
Publication Date (W3CDTF): 1987
Extent: 冊
Additional Title: 研究種目一般研究(C)
Subject Heading: メタプログラミングメタプログラミング
データ型データガタ
LISP LISP
プログラム変換プログラムヘンカン
NDLC: Y151
Note (General): 文部省科学研究費補助金研究成果報告書
Research Project No. of Grants-in-Aid for Scientific Research: 62580030
Holding library: 国立国会図書館
Call No.: Y151-S62580030
Data Provider (Database): 国立国会図書館 : 国立国会図書館蔵書
https://ndlsearch.ndl.go.jp
Bibliographic ID (NDL): 000007032712
http://id.ndl.go.jp/bib/000007032712
Bibliographic Record Category (NDL): 214