文献
J-GLOBAL ID：200902173536984015   整理番号：94A0729818

領域のスタックを用いた型付きの値呼び出しλ-計算の実現

Implementation of the Typed Call-by-Value λ-calculus using a Stack of Regions.
著者 (2件)：
TOFTE M

TOFTE M について

(Univ. Copenhagen)

Univ. Copenhagen について

, 
TALPIN J-P

TALPIN J-P について

(European Computer-Industry Research Center)

European Computer-Industry Research Center について


資料名：
Conference Record of the Annual ACM Symposium on Principles of Programming Languages  (Conference Record of the Annual ACM Symposium on Principles of Programming Languages)

Conference Record of the Annual ACM Symposium on Principles of Programming Languages について


巻： 21st  ページ： 188-201  発行年： 1994年 
JST資料番号： D0069B  資料種別： 会議録 (C)
記事区分： 原著論文  発行国： アメリカ合衆国 (USA)  言語： 英語 (EN)
抄録/ポイント：
抄録/ポイント
文献の概要を数百字程度の日本語でまとめたものです。
部分表示の続きは、JDreamⅢ(有料)でご覧頂けます。
J-GLOBALでは書誌(タイトル、著者名等)登載から半年以上経過後に表示されますが、医療系文献の場合はMyJ-GLOBALでのログインが必要です。
多態性の型付き値呼び出しλ-計算のための変換スキームについて...
シソーラス用語：
シソーラス用語/準シソーラス用語
文献のテーマを表すキーワードです。
部分表示の続きはJDreamⅢ（有料）でご覧いただけます。
J-GLOBALでは書誌(タイトル、著者名等)登載から半年以上経過後に表示されますが、医療系文献の場合はMyJ-GLOBALでのログインが必要です。
データ型

データ型 について

,...
準シソーラス用語：
シソーラス用語/準シソーラス用語
文献のテーマを表すキーワードです。
部分表示の続きはJDreamⅢ（有料）でご覧いただけます。
J-GLOBALでは書誌(タイトル、著者名等)登載から半年以上経過後に表示されますが、医療系文献の場合はMyJ-GLOBALでのログインが必要です。
値呼び出し

値呼び出し について


   続きはJDreamIII（有料）にて  {{ this.onShowAbsJLink("http://jdream3.com/lp/jglobal/index.html?docNo=94A0729818&from=J-GLOBAL&jstjournalNo=D0069B") }}
分類 (2件)：
分類
JSTが定めた文献の分類名称とコードです
計算理論 
(JB02000A)

計算理論 について

,  システムプログラミング一般 
(JD03010Y)

システムプログラミング一般 について

タイトルに関連する用語 (3件)：
タイトルに関連する用語
J-GLOBALで独自に切り出した文献タイトルの用語をもとにしたキーワードです
スタック

スタック について

, 
呼び出し

呼び出し について

, 
計算

計算 について


前のページに戻る

TOP

BOTTOM