WEKO3
アイテム
Lazy conditional narrowing calculi and their implementation
http://hdl.handle.net/2241/6408
http://hdl.handle.net/2241/640897049ade-3c30-42e5-a47e-6fc0cc86f2ef
名前 / ファイル | ライセンス | アクション |
---|---|---|
A1915.pdf (108.8 kB)
|
|
Item type | Thesis or Dissertation(1) | |||||
---|---|---|---|---|---|---|
公開日 | 2007-07-25 | |||||
タイトル | ||||||
言語 | en | |||||
タイトル | Lazy conditional narrowing calculi and their implementation | |||||
言語 | ||||||
言語 | jpn | |||||
資源タイプ | ||||||
資源 | http://purl.org/coar/resource_type/c_db06 | |||||
タイプ | doctoral thesis | |||||
アクセス権 | ||||||
アクセス権 | open access | |||||
アクセス権URI | http://purl.org/coar/access_right/c_abf2 | |||||
著者 |
Hamada, Mohamed Esmail Ali
× Hamada, Mohamed Esmail Ali |
|||||
抄録 | ||||||
内容記述タイプ | Abstract | |||||
内容記述 | Functional programming languages [80, 2, 7], based on λ-calculus [3, 12] and reduction, have properties such as deterministic evaluation and lazy evaluation. On the other hand they lack some desirable properties such as existentially quantified variables and partial data structures. ... | |||||
言語 | en | |||||
書誌情報 |
発行日 1998 |
|||||
関係URI | ||||||
関連タイプ | hasFormat | |||||
識別子タイプ | URI | |||||
関連識別子 | https://www.tulips.tsukuba.ac.jp/opac/volume/1033911 | |||||
言語 | ja | |||||
関連名称 | 全文はOPACにあり | |||||
取得学位 | ||||||
学位名 | 博士(工学) | |||||
取得学位 | ||||||
学位名 | Doctor of Philosophy in Engineering | |||||
学位授与大学 | ||||||
学位授与機関識別子Scheme | kakenhi | |||||
学位授与機関識別子 | 12102 | |||||
言語 | ja | |||||
学位授与機関名 | 筑波大学 | |||||
言語 | en | |||||
学位授与機関名 | University of Tsukuba | |||||
学位授与年度 | ||||||
内容記述タイプ | Other | |||||
内容記述 | 1997 | |||||
学位授与年月日 | ||||||
学位授与年月日 | 1998-03-23 | |||||
報告番号 | ||||||
学位授与番号 | 甲第1915号 |